* bug#22402: info guix pages @ 2016-01-18 23:43 carl hansen 2016-01-19 1:47 ` Leo Famulari 0 siblings, 1 reply; 14+ messages in thread From: carl hansen @ 2016-01-18 23:43 UTC (permalink / raw) To: 22402 [-- Attachment #1: Type: text/plain, Size: 349 bytes --] I do "info guix" and I don't get the info pages, although OTHER info pages work and INFOPATH seems correct. BUt if I am root then I do get info guix correctly. I can see the files are there in the file system. It seems that the guix.info should be automatically accessible to regular users, or do I have to do some additonal step? Or is it just me? [-- Attachment #2: Type: text/html, Size: 560 bytes --] ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-18 23:43 bug#22402: info guix pages carl hansen @ 2016-01-19 1:47 ` Leo Famulari 2016-01-19 3:55 ` carl hansen 0 siblings, 1 reply; 14+ messages in thread From: Leo Famulari @ 2016-01-19 1:47 UTC (permalink / raw) To: carl hansen; +Cc: 22402 On Mon, Jan 18, 2016 at 03:43:35PM -0800, carl hansen wrote: > I do > "info guix" > and I don't get the info pages, although OTHER info pages work > and INFOPATH seems correct. > BUt if I am root then I do get > info guix correctly. > I can see the files are there in the file system. > It seems that the guix.info should be automatically accessible > to regular users, or do I have to do some additonal step? > Or is it just me? Are you using GuixSD or Guix on a "foreign distro"? ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-19 1:47 ` Leo Famulari @ 2016-01-19 3:55 ` carl hansen 2016-01-19 9:01 ` Ludovic Courtès 0 siblings, 1 reply; 14+ messages in thread From: carl hansen @ 2016-01-19 3:55 UTC (permalink / raw) To: Leo Famulari; +Cc: 22402 [-- Attachment #1: Type: text/plain, Size: 592 bytes --] On Mon, Jan 18, 2016 at 5:47 PM, Leo Famulari <leo@famulari.name> wrote: > On Mon, Jan 18, 2016 at 03:43:35PM -0800, carl hansen wrote: > > I do > > "info guix" > > and I don't get the info pages, although OTHER info pages work > > and INFOPATH seems correct. > > BUt if I am root then I do get > > info guix correctly. > > I can see the files are there in the file system. > > It seems that the guix.info should be automatically accessible > > to regular users, or do I have to do some additonal step? > > Or is it just me? > > Are you using GuixSD or Guix on a "foreign distro"? > ubuntu [-- Attachment #2: Type: text/html, Size: 1127 bytes --] ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-19 3:55 ` carl hansen @ 2016-01-19 9:01 ` Ludovic Courtès 2016-01-19 9:34 ` carl hansen 0 siblings, 1 reply; 14+ messages in thread From: Ludovic Courtès @ 2016-01-19 9:01 UTC (permalink / raw) To: carl hansen; +Cc: 22402 carl hansen <carlhansen1234@gmail.com> skribis: > On Mon, Jan 18, 2016 at 5:47 PM, Leo Famulari <leo@famulari.name> wrote: > >> On Mon, Jan 18, 2016 at 03:43:35PM -0800, carl hansen wrote: >> > I do >> > "info guix" >> > and I don't get the info pages, although OTHER info pages work >> > and INFOPATH seems correct. >> > BUt if I am root then I do get >> > info guix correctly. >> > I can see the files are there in the file system. >> > It seems that the guix.info should be automatically accessible >> > to regular users, or do I have to do some additonal step? >> > Or is it just me? >> >> Are you using GuixSD or Guix on a "foreign distro"? >> > > ubuntu Where is Guix installed? If you used the “binary installation” method, Guix is installed in /root/.guix-profile, which is why you only get to see its manual when running ‘info’ as root. HTH, Ludo’. ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-19 9:01 ` Ludovic Courtès @ 2016-01-19 9:34 ` carl hansen 2016-01-19 10:45 ` Ludovic Courtès 2016-01-19 17:17 ` Thompson, David 0 siblings, 2 replies; 14+ messages in thread From: carl hansen @ 2016-01-19 9:34 UTC (permalink / raw) To: Ludovic Courtès; +Cc: 22402 [-- Attachment #1: Type: text/plain, Size: 1810 bytes --] On Tue, Jan 19, 2016 at 1:01 AM, Ludovic Courtès <ludo@gnu.org> wrote: > carl hansen <carlhansen1234@gmail.com> skribis: > > > On Mon, Jan 18, 2016 at 5:47 PM, Leo Famulari <leo@famulari.name> wrote: > > > >> On Mon, Jan 18, 2016 at 03:43:35PM -0800, carl hansen wrote: > >> > I do > >> > "info guix" > >> > and I don't get the info pages, although OTHER info pages work > >> > and INFOPATH seems correct. > >> > BUt if I am root then I do get > >> > info guix correctly. > >> > I can see the files are there in the file system. > >> > It seems that the guix.info should be automatically accessible > >> > to regular users, or do I have to do some additonal step? > >> > Or is it just me? > >> > >> Are you using GuixSD or Guix on a "foreign distro"? > >> > > > > ubuntu > > Where is Guix installed? If you used the “binary installation” method, > Guix is installed in /root/.guix-profile, which is why you only get to > see its manual when running ‘info’ as root. > > HTH, > Ludo’. > Yes, that is the case, there is no mystery, there is indeed a /root/.guix-profile/share/info/guix.info and there is NOT a ~user/.guix-profile/share/info/guix.info However I consider that a bug. Here I am a user, using guix, and I expect "info guix" to work. Why would the user have to switch to root just to read this one info file? After installing guix, I would expect guix.info to be in my defalt .guix-profile, or a least a notice of how to install guix.info. ( coping and linking I know how to do, that's not the problem. It's a question of creating a polished piece of software.) Would "guix package -i guix" do the right thing? That seems all wrong, would install stuff I already have. I acknowledge my understanding of the guix system is incomplete. [-- Attachment #2: Type: text/html, Size: 2978 bytes --] ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-19 9:34 ` carl hansen @ 2016-01-19 10:45 ` Ludovic Courtès 2016-01-19 16:42 ` Efraim Flashner 2016-01-19 17:17 ` Thompson, David 1 sibling, 1 reply; 14+ messages in thread From: Ludovic Courtès @ 2016-01-19 10:45 UTC (permalink / raw) To: carl hansen; +Cc: 22402 carl hansen <carlhansen1234@gmail.com> skribis: > Yes, that is the case, there is no mystery, there is indeed a > /root/.guix-profile/share/info/guix.info > and there is NOT a > ~user/.guix-profile/share/info/guix.info OK. > However I consider that a bug. Here I am a user, using guix, and I expect > "info guix" to work. Why would the user have to switch to root just to read > this one info file? After installing guix, I would expect guix.info to be > in my defalt .guix-profile, or a least a notice of how to install > guix.info. ( coping and linking I know how to do, that's not the problem. > It's a question > of creating a polished piece of software.) Yeah, I agree this is bad. On GuixSD there’s no such problem because Guix is installed system-wide, so “info guix” always picks up the system-wide guix.info at least. > Would "guix package -i guix" do the right thing? That seems all > wrong, would install stuff I already have. It would do the trick, yes. I’m not sure how to fix that problem on foreign distros. Suggestions welcome. Ludo’. ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-19 10:45 ` Ludovic Courtès @ 2016-01-19 16:42 ` Efraim Flashner 0 siblings, 0 replies; 14+ messages in thread From: Efraim Flashner @ 2016-01-19 16:42 UTC (permalink / raw) To: Ludovic Courtès; +Cc: 22402 [-- Attachment #1: Type: text/plain, Size: 788 bytes --] On Tue, 19 Jan 2016 11:45:09 +0100 ludo@gnu.org (Ludovic Courtès) wrote: > carl hansen <carlhansen1234@gmail.com> skribis: > > [...] > > OK. > > [...] > > Yeah, I agree this is bad. On GuixSD there’s no such problem because > Guix is installed system-wide, so “info guix” always picks up the > system-wide guix.info at least. > > [...] > > It would do the trick, yes. > > I’m not sure how to fix that problem on foreign distros. Suggestions > welcome. > > Ludo’. > step 11 of binary install: $ guix package -i guix -- Efraim Flashner <efraim@flashner.co.il> אפרים פלשנר GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted [-- Attachment #2: OpenPGP digital signature --] [-- Type: application/pgp-signature, Size: 819 bytes --] ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-19 9:34 ` carl hansen 2016-01-19 10:45 ` Ludovic Courtès @ 2016-01-19 17:17 ` Thompson, David 2016-01-19 22:02 ` Leo Famulari 2016-01-20 23:23 ` Ludovic Courtès 1 sibling, 2 replies; 14+ messages in thread From: Thompson, David @ 2016-01-19 17:17 UTC (permalink / raw) To: carl hansen; +Cc: 22402 On Tue, Jan 19, 2016 at 4:34 AM, carl hansen <carlhansen1234@gmail.com> wrote: > > Yes, that is the case, there is no mystery, there is indeed a > /root/.guix-profile/share/info/guix.info > and there is NOT a > ~user/.guix-profile/share/info/guix.info > > However I consider that a bug. Here I am a user, using guix, and I expect > "info guix" to work. Why would the user have to switch to root just to read > this one info file? After installing guix, I would expect guix.info to be > in my defalt .guix-profile, or a least a notice of how to install > guix.info. ( coping and linking I know how to do, that's not the problem. > It's a question > of creating a polished piece of software.) Would "guix package -i guix" do > the right thing? > That seems all wrong, would install stuff I already have. I think you need to adjust your expectations. You only have Guix available *in the root user's profile*. Each user has their own package profile, so running 'guix package -i guix' as your regular user is exactly what you want. Why would you expect the system to magically read the info pages out of root's profile? It's not installing stuff you already have because your user *didn't* have it. So, install the Guix package and set $INFOPATH to include $HOME/.guix-profile/share/info. Ludo, to avoid this confusion in the future, perhaps the binary installation instructions for folks on foreign distros could have an additional instruction. After symlinking root's guix to /usr/local/bin/guix, the documentation could suggest symlinking the docs to /usr/local/share/info. Would that help? - Dave ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-19 17:17 ` Thompson, David @ 2016-01-19 22:02 ` Leo Famulari 2016-01-20 0:45 ` carl hansen 2016-01-20 23:23 ` Ludovic Courtès 1 sibling, 1 reply; 14+ messages in thread From: Leo Famulari @ 2016-01-19 22:02 UTC (permalink / raw) To: Thompson, David; +Cc: 22402 On Tue, Jan 19, 2016 at 12:17:32PM -0500, Thompson, David wrote: > On Tue, Jan 19, 2016 at 4:34 AM, carl hansen <carlhansen1234@gmail.com> wrote: > > > > Yes, that is the case, there is no mystery, there is indeed a > > /root/.guix-profile/share/info/guix.info > > and there is NOT a > > ~user/.guix-profile/share/info/guix.info > > > > However I consider that a bug. Here I am a user, using guix, and I expect > > "info guix" to work. Why would the user have to switch to root just to read > > this one info file? After installing guix, I would expect guix.info to be > > in my defalt .guix-profile, or a least a notice of how to install > > guix.info. ( coping and linking I know how to do, that's not the problem. > > It's a question > > of creating a polished piece of software.) Would "guix package -i guix" do > > the right thing? > > That seems all wrong, would install stuff I already have. > > I think you need to adjust your expectations. You only have Guix > available *in the root user's profile*. Each user has their own > package profile, so running 'guix package -i guix' as your regular > user is exactly what you want. Why would you expect the system to > magically read the info pages out of root's profile? It's not > installing stuff you already have because your user *didn't* have it. > So, install the Guix package and set $INFOPATH to include > $HOME/.guix-profile/share/info. > > Ludo, to avoid this confusion in the future, perhaps the binary > installation instructions for folks on foreign distros could have an > additional instruction. After symlinking root's guix to > /usr/local/bin/guix, the documentation could suggest symlinking the > docs to /usr/local/share/info. Would that help? I only just realized that I have been using root's `guix` as my user, because I have been relying on the `guix` in '/usr/local/bin'. I like Efraim's suggestion of instructing users to `guix package -i guix`. > > - Dave > > > ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-19 22:02 ` Leo Famulari @ 2016-01-20 0:45 ` carl hansen 2016-01-20 4:24 ` Leo Famulari 0 siblings, 1 reply; 14+ messages in thread From: carl hansen @ 2016-01-20 0:45 UTC (permalink / raw) To: Leo Famulari; +Cc: 22402 [-- Attachment #1: Type: text/plain, Size: 1119 bytes --] On Tue, Jan 19, 2016 at 2:02 PM, Leo Famulari <leo@famulari.name> wrote: > On Tue, Jan 19, 2016 at 12:17:32PM -0500, Thompson, David wrote: > > On Tue, Jan 19, 2016 at 4:34 AM, carl hansen <carlhansen1234@gmail.com> > wrote: > > > > > > Yes, that is the case, there is no mystery, there is indeed a > > > /root/.guix-profile/share/info/guix.info > > > and there is NOT a > > > ~user/.guix-profile/share/info/guix.info > > > > snip snip Ok I did, as suggested, guix package -i guix which I was afraid of, fearing some ouroboros strange loop destruction of the universe; fears unfounded, only curious effect was dozens or hundreds of warning: collision encountered: /gnu/store/wfvxxpdhnzd59v ... warning: arbitrarily choosing /gnu/store/wfvxxpdhnzd59vkad1z... type messages. Otherwise, seems to work. As suggested by Efraim Flashner , add that command to the Binary install instructions. Now, about your fine manual, on http://www.gnu.org/software/guix/manual/ we see "last updated November 04, 2015" Please use a cronjob to update the manual nightly , or so, to the latest version. The universe will thank you. [-- Attachment #2: Type: text/html, Size: 2089 bytes --] ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-20 0:45 ` carl hansen @ 2016-01-20 4:24 ` Leo Famulari 2016-01-21 1:26 ` carl hansen 0 siblings, 1 reply; 14+ messages in thread From: Leo Famulari @ 2016-01-20 4:24 UTC (permalink / raw) To: carl hansen; +Cc: 22402 On Tue, Jan 19, 2016 at 04:45:12PM -0800, carl hansen wrote: > On Tue, Jan 19, 2016 at 2:02 PM, Leo Famulari <leo@famulari.name> wrote: > > > On Tue, Jan 19, 2016 at 12:17:32PM -0500, Thompson, David wrote: > > > On Tue, Jan 19, 2016 at 4:34 AM, carl hansen <carlhansen1234@gmail.com> > > wrote: > > > > > > > > Yes, that is the case, there is no mystery, there is indeed a > > > > /root/.guix-profile/share/info/guix.info > > > > and there is NOT a > > > > ~user/.guix-profile/share/info/guix.info > > > > > > > > snip snip > > Ok I did, as suggested, > guix package -i guix > which I was afraid of, fearing some ouroboros strange loop destruction of > the universe; > fears unfounded, only curious effect was dozens or hundreds of > > warning: collision encountered: /gnu/store/wfvxxpdhnzd59v ... > warning: arbitrarily choosing /gnu/store/wfvxxpdhnzd59vkad1z... > > type messages. Otherwise, seems to work. That's not optimal. Those messages mean that of the store directories linked to from your profile, more than one provide a given path. For example, GNU Parallel and moreutils both have a path "bin/parallel": /gnu/store/7ggbvsql79s5i05a3v8cbn48kdrzf7nc-parallel-20151222/bin/parallel /gnu/store/ax4ppgzmx5cjqr813l3djgzhiniam1yz-moreutils-0.57/bin/parallel If you install both in your profile, those two paths both become: ~/.guix-profile/bin/parallel And so you get a warning and the conflict is resolved arbitrarily. You can't have both of the "parallels" in your profile at once. Were the conflicting paths related to Guix? > > As suggested by Efraim Flashner , add that command to the Binary install > instructions. > > Now, about your fine manual, on http://www.gnu.org/software/guix/manual/ > we see "last updated November 04, 2015" > Please use a cronjob to update the manual nightly , or so, to the latest > version. The universe will thank you. ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-20 4:24 ` Leo Famulari @ 2016-01-21 1:26 ` carl hansen 2016-01-21 3:21 ` Leo Famulari 0 siblings, 1 reply; 14+ messages in thread From: carl hansen @ 2016-01-21 1:26 UTC (permalink / raw) To: Leo Famulari; +Cc: 22402 [-- Attachment #1: Type: text/plain, Size: 1896 bytes --] On Tue, Jan 19, 2016 at 8:24 PM, Leo Famulari <leo@famulari.name> wrote: > On Tue, Jan 19, 2016 at 04:45:12PM -0800, carl hansen wrote: > > On Tue, Jan 19, 2016 at 2:02 PM, Leo Famulari <leo@famulari.name> wrote: > > > > > On Tue, Jan 19, 2016 at 12:17:32PM -0500, Thompson, David wrote: > > > > On Tue, Jan 19, 2016 at 4:34 AM, carl hansen < > carlhansen1234@gmail.com> > > > wrote: > > > > > > > > > > Yes, that is the case, there is no mystery, there is indeed a > > > > > /root/.guix-profile/share/info/guix.info > > > > > and there is NOT a > > > > > ~user/.guix-profile/share/info/guix.info > > > > > > > > > > > > snip snip > > > > Ok I did, as suggested, > > guix package -i guix > > which I was afraid of, fearing some ouroboros strange loop destruction of > > the universe; > > fears unfounded, only curious effect was dozens or hundreds of > > > > warning: collision encountered: /gnu/store/wfvxxpdhnzd59v ... > > warning: arbitrarily choosing /gnu/store/wfvxxpdhnzd59vkad1z... > > > > type messages. Otherwise, seems to work. > > That's not optimal. Those messages mean that of the store directories > linked to from your profile, more than one provide a given path. > > For example, GNU Parallel and moreutils both have a path "bin/parallel": > /gnu/store/7ggbvsql79s5i05a3v8cbn48kdrzf7nc-parallel-20151222/bin/parallel > /gnu/store/ax4ppgzmx5cjqr813l3djgzhiniam1yz-moreutils-0.57/bin/parallel > > If you install both in your profile, those two paths both become: > ~/.guix-profile/bin/parallel > > And so you get a warning and the conflict is resolved arbitrarily. You > can't have both of the "parallels" in your profile at once. > > Were the conflicting paths related to Guix? > > I don't have the lines anymore, I think they are related to lots of packages beside guix. As I learn, then I will know more; for now I will ignore ignorable messages from my computer, and move on. [-- Attachment #2: Type: text/html, Size: 2846 bytes --] ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-21 1:26 ` carl hansen @ 2016-01-21 3:21 ` Leo Famulari 0 siblings, 0 replies; 14+ messages in thread From: Leo Famulari @ 2016-01-21 3:21 UTC (permalink / raw) To: carl hansen; +Cc: 22402 On Wed, Jan 20, 2016 at 05:26:54PM -0800, carl hansen wrote: > On Tue, Jan 19, 2016 at 8:24 PM, Leo Famulari <leo@famulari.name> wrote: > > > On Tue, Jan 19, 2016 at 04:45:12PM -0800, carl hansen wrote: > > > On Tue, Jan 19, 2016 at 2:02 PM, Leo Famulari <leo@famulari.name> wrote: > > > > > > > On Tue, Jan 19, 2016 at 12:17:32PM -0500, Thompson, David wrote: > > > > > On Tue, Jan 19, 2016 at 4:34 AM, carl hansen < > > carlhansen1234@gmail.com> > > > > wrote: > > > > > > > > > > > > Yes, that is the case, there is no mystery, there is indeed a > > > > > > /root/.guix-profile/share/info/guix.info > > > > > > and there is NOT a > > > > > > ~user/.guix-profile/share/info/guix.info > > > > > > > > > > > > > > > > snip snip > > > > > > Ok I did, as suggested, > > > guix package -i guix > > > which I was afraid of, fearing some ouroboros strange loop destruction of > > > the universe; > > > fears unfounded, only curious effect was dozens or hundreds of > > > > > > warning: collision encountered: /gnu/store/wfvxxpdhnzd59v ... > > > warning: arbitrarily choosing /gnu/store/wfvxxpdhnzd59vkad1z... > > > > > > type messages. Otherwise, seems to work. > > > > That's not optimal. Those messages mean that of the store directories > > linked to from your profile, more than one provide a given path. > > > > For example, GNU Parallel and moreutils both have a path "bin/parallel": > > /gnu/store/7ggbvsql79s5i05a3v8cbn48kdrzf7nc-parallel-20151222/bin/parallel > > /gnu/store/ax4ppgzmx5cjqr813l3djgzhiniam1yz-moreutils-0.57/bin/parallel > > > > If you install both in your profile, those two paths both become: > > ~/.guix-profile/bin/parallel > > > > And so you get a warning and the conflict is resolved arbitrarily. You > > can't have both of the "parallels" in your profile at once. > > > > Were the conflicting paths related to Guix? > > > > I don't have the lines anymore, I think they are related to lots of > packages beside guix. > As I learn, then I will know more; for now I will ignore ignorable messages > from my > computer, and move on. Sometimes, the messages are ignorable, and sometimes not. The two 'parallels' are not interchangeable. ^ permalink raw reply [flat|nested] 14+ messages in thread
* bug#22402: info guix pages 2016-01-19 17:17 ` Thompson, David 2016-01-19 22:02 ` Leo Famulari @ 2016-01-20 23:23 ` Ludovic Courtès 1 sibling, 0 replies; 14+ messages in thread From: Ludovic Courtès @ 2016-01-20 23:23 UTC (permalink / raw) To: Thompson, David; +Cc: 22402 "Thompson, David" <dthompson2@worcester.edu> skribis: > Ludo, to avoid this confusion in the future, perhaps the binary > installation instructions for folks on foreign distros could have an > additional instruction. After symlinking root's guix to > /usr/local/bin/guix, the documentation could suggest symlinking the > docs to /usr/local/share/info. Would that help? Good idea. Done in aca738f. Step #6 becomes: --8<---------------cut here---------------start------------->8--- 6. Make the ‘guix’ command available to other users on the machine, for instance with: # mkdir -p /usr/local/bin # cd /usr/local/bin # ln -s /var/guix/profiles/per-user/root/guix-profile/bin/guix It is also a good idea to make the Info version of this manual available there: # mkdir -p /usr/local/share/info # cd /usr/local/share/info # for i in /var/guix/profiles/per-user/root/guix-profile/share/info/* ; do ln -s $i ; done That way, assuming ‘/usr/local/share/info’ is in the search path, running ‘info guix’ will open this manual (*note (texinfo)Other Info Directories::, for more details on changing the Info search path.) --8<---------------cut here---------------end--------------->8--- Carl, WDYT? Thanks, Ludo’. ^ permalink raw reply [flat|nested] 14+ messages in thread
end of thread, other threads:[~2016-01-21 3:22 UTC | newest] Thread overview: 14+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2016-01-18 23:43 bug#22402: info guix pages carl hansen 2016-01-19 1:47 ` Leo Famulari 2016-01-19 3:55 ` carl hansen 2016-01-19 9:01 ` Ludovic Courtès 2016-01-19 9:34 ` carl hansen 2016-01-19 10:45 ` Ludovic Courtès 2016-01-19 16:42 ` Efraim Flashner 2016-01-19 17:17 ` Thompson, David 2016-01-19 22:02 ` Leo Famulari 2016-01-20 0:45 ` carl hansen 2016-01-20 4:24 ` Leo Famulari 2016-01-21 1:26 ` carl hansen 2016-01-21 3:21 ` Leo Famulari 2016-01-20 23:23 ` Ludovic Courtès
Code repositories for project(s) associated with this public inbox https://git.savannah.gnu.org/cgit/guix.git This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).