<brendyn>reepca-laptop: you can try downloading the source tarball for an older version and running guix build --with-source=emacs-....tar.gz emacs
<marusich>Since the new support for "guix pull"ing to a previous version of Guix (to get older package definitions) was only recently added, I'm not sure if it will let you go back very far in time. However, if it doesn't work, I would suggest checking out an old version of Guix, building from source, and then invoking "./pre-inst-env guix package -i emacs" to install it.
<marusich>But yeah, if you can get away with replacing the source with an older version, that might be good enough!
<reepca-laptop>Ah, I just realized the cutting-the-knot solution: I haven't gc'ed since I had the older version installed. It's still in my store somewhere, I can just run it from there.
<marusich>reepca-laptop, also, if you know an existing store path (e.g., from an old profile) that you want to install, you can invoke "guix package -i /gnu/store/...cafe-emacs-25.0" (or whatever version it is) to directly install the store item into your profile.
<brendyn>reepca-laptop: in that case it should be in `guix package --list-generation| grep emacs`
<reepca-laptop>agh, just remembered I reinstalled on a new hard drive a while ago
<efraim>janneke: I see mcrl2 is built with monolithic qt, I'm testing building it with modular-qt, any reason you can think if not to?
<janneke> efraim: haven't tried; cannot think of a reason it would not build with modular-qt, however i have very little experience with qt
<efraim>janneke: ok, i'll build it in the background on my aarch64 board
<janneke>they moved to git and made some changes to their (cmake -- ugh) build; i should have a look at that some time
<efraim>according to `guix refresh -l qt@5' Building the following 7 packages would ensure 8 dependent packages are rebuilt: firstname.lastname@example.org email@example.com firstname.lastname@example.org email@example.com firstname.lastname@example.org email@example.com firstname.lastname@example.org
<snape>aminb: nobody seems to be working on updating Firefox/Icecat/Iceweasel to 58. But the difficulty is the same, it doesn't really matter if it's Firefox or Icecat or Iceweasel, in term of difficulty
<g_bor[m]>snape: I've not looked into this in detail, but I don't think the new web interface and the api changes are documented. What do you know about this? Also is Tatiana's work in the shape to be merged?
<snape>g_bor[m]: I didn't know there were API changes.
<snape>Indeed the web interface isn't documented, but it's pretty intuitive
<g_bor[m]>It would be nice to see what's missing. I noticed that communication went to a reactive style recently. I will walk through the question list in my docs, and see what we already have. Thanks for getting involved.
<g_bor[m]>When do you think this can get on berlin?
<snape>Hmm funny thanks to the web interface I just notived that the GLM update broke libreoffice
<janneke>roll-back gave an error that UID already exists, or something -- sorry i only have this vague story :-/
<pkill9>civodul: out of interest, for the wifi connection(s) that automatically connect in NetworkManager for you, what does it say in the 'permissions=' line in /etc/NetworkManager/system-connections/<wifi connection that autoconnects> ?