unofficial mirror of guix-devel@gnu.org 
 help / color / mirror / code / Atom feed
* Ideas for Summer of Code 2018 anyone?
@ 2018-01-11 20:42 Ludovic Courtès
  2018-01-13 18:10 ` Gábor Boskovits
  2018-01-13 21:24 ` Ludovic Courtès
  0 siblings, 2 replies; 7+ messages in thread
From: Ludovic Courtès @ 2018-01-11 20:42 UTC (permalink / raw)
  To: Guix-devel

[-- Attachment #1: Type: text/plain, Size: 490 bytes --]

Hello Guix!

It’s time to prepare for GSoC again!

We need to collect ideas, presumably based on
<https://libreplanet.org/wiki/Group:Guix/GSoC-2017>, in a new
“GSoC-2018” page on that wiki.

Let’s add new ideas to
<https://libreplanet.org/wiki/Group:Guix/GSoC-2018>!

Does someone want to take care of coordinating with Giuseppe Scrivano
and others at summer-of-code@gnu.org?  (Essentially sending them the URL
of the idea list and monitoring the list.)

Ludo’.


[-- Attachment #2: Type: message/rfc822, Size: 6094 bytes --]

From: Giuseppe Scrivano <gscrivano@gnu.org>
To: GNU Summer Of Code <summer-of-code@gnu.org>
Subject: [IMPORTANT] Ideas for Summer of Code 2018
Date: Tue, 09 Jan 2018 11:06:53 +0100
Message-ID: <87vagbfirm.fsf@redhat.com>

Hi!

Google is accepting applications for the next Summer of Code and as
usual we are going to apply for it. José, Darshit and myself are going
to manage the presence of GNU.

We should start thinking about a list of ideas for the next Summer of
Code and potential mentors.

This is the list of ideas we had last year:

  http://www.gnu.org/software/soc-projects/ideas-2017.html

Is there anything left undone that can be reused this year?

Please start sending ideas to add to the page and link them to the
potential mentors that can help with it.

Please send the html snippet for the ideas page, something like:

---------------------------------------------------------------------------------
<h3 id="foo"><a href="http://www.gnu.org/software/foo";>GNU FOO</a></h3>

<p>GNU FOO maintains their list of ideas for GSOC in an external
  webpage: <a 
href="http://foo.org/wanted.html";>http://foo.org/wanted.html</a>.
</p>
---------------------------------------------------------------------------------

so that it can be embedded in the page as it is.

Regards,
Giuseppe


^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Ideas for Summer of Code 2018 anyone?
  2018-01-11 20:42 Ideas for Summer of Code 2018 anyone? Ludovic Courtès
@ 2018-01-13 18:10 ` Gábor Boskovits
  2018-01-13 19:32   ` ng0
  2018-01-13 21:16   ` Ludovic Courtès
  2018-01-13 21:24 ` Ludovic Courtès
  1 sibling, 2 replies; 7+ messages in thread
From: Gábor Boskovits @ 2018-01-13 18:10 UTC (permalink / raw)
  To: Ludovic Courtès; +Cc: Guix-devel

[-- Attachment #1: Type: text/plain, Size: 2648 bytes --]

I've checked last the list from last year.

It seems to me that the RISCV port might be more important than ever in the
face of Spectre.

The shepherd systemd semantics would be also nice to have.
I consider the syntax less important.
It would be also nice to create a service or set of services to make
administration experience
similar to a systemd sytem. For example the functionality of journalctl
would be nice to have.
Even a howto on configuring guixds to have the equivalent services of
systemd would
benefit adoptation, and it could point to functionality missing in our
system compared to
systemd.


2018-01-11 21:42 GMT+01:00 Ludovic Courtès <ludo@gnu.org>:

> Hello Guix!
>
> It’s time to prepare for GSoC again!
>
> We need to collect ideas, presumably based on
> <https://libreplanet.org/wiki/Group:Guix/GSoC-2017>, in a new
> “GSoC-2018” page on that wiki.
>
> Let’s add new ideas to
> <https://libreplanet.org/wiki/Group:Guix/GSoC-2018>!
>
> Does someone want to take care of coordinating with Giuseppe Scrivano
> and others at summer-of-code@gnu.org?  (Essentially sending them the URL
> of the idea list and monitoring the list.)
>
> Ludo’.
>
>
>
> ---------- Továbított levél ----------
> From: Giuseppe Scrivano <gscrivano@gnu.org>
> To: GNU Summer Of Code <summer-of-code@gnu.org>
> Cc:
> Bcc:
> Date: Tue, 09 Jan 2018 11:06:53 +0100
> Subject: [IMPORTANT] Ideas for Summer of Code 2018
> Hi!
>
> Google is accepting applications for the next Summer of Code and as
> usual we are going to apply for it. José, Darshit and myself are going
> to manage the presence of GNU.
>
> We should start thinking about a list of ideas for the next Summer of
> Code and potential mentors.
>
> This is the list of ideas we had last year:
>
>   http://www.gnu.org/software/soc-projects/ideas-2017.html
>
> Is there anything left undone that can be reused this year?
>
> Please start sending ideas to add to the page and link them to the
> potential mentors that can help with it.
>
> Please send the html snippet for the ideas page, something like:
>
> ------------------------------------------------------------
> ---------------------
> <h3 id="foo"><a href="http://www.gnu.org/software/foo";>GNU FOO</a></h3>
>
> <p>GNU FOO maintains their list of ideas for GSOC in an external
>   webpage: <a
> href="http://foo.org/wanted.html";>http://foo.org/wanted.html</a>.
> </p>
> ------------------------------------------------------------
> ---------------------
>
> so that it can be embedded in the page as it is.
>
> Regards,
> Giuseppe
>
>
>

[-- Attachment #2: Type: text/html, Size: 3969 bytes --]

^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Ideas for Summer of Code 2018 anyone?
  2018-01-13 18:10 ` Gábor Boskovits
@ 2018-01-13 19:32   ` ng0
  2018-01-13 20:12     ` Gábor Boskovits
  2018-01-13 21:16   ` Ludovic Courtès
  1 sibling, 1 reply; 7+ messages in thread
From: ng0 @ 2018-01-13 19:32 UTC (permalink / raw)
  To: Gábor Boskovits; +Cc: Guix-devel

[-- Attachment #1: Type: text/plain, Size: 3878 bytes --]

Gábor Boskovits transcribed 6.9K bytes:
> I've checked last the list from last year.
> 
> It seems to me that the RISCV port might be more important than ever in the
> face of Spectre.

It doesn't really fix that and suffer from it aswell, but a port to it
would be great for the other obvious reasons.

> The shepherd systemd semantics would be also nice to have.
> I consider the syntax less important.
> It would be also nice to create a service or set of services to make
> administration experience
> similar to a systemd sytem. For example the functionality of journalctl
> would be nice to have.

That is one goal that can be defined 'log view' and discussed.
The rest above is not very clear, lots of guessing.

> Even a howto on configuring guixds to have the equivalent services of
> systemd would
> benefit adoptation, and it could point to functionality missing in our
> system compared to
> systemd.

I don't think we need everything systemd has, or do we?
What are you personally or work related missing, besides the obvious amount of services?

I myself was missing an easy, less scheme focused way to create operating
systems, so I'm working on that. To get to why I mention this: I thought it
was too obvious, but most of the time the things that are too obvious
are not being worked on because they are too obvious.

I would very much like to have an build log reader+browser as mentioned here
in the past. Today I've pointed someone to /var/log/guix/drvs/ and just gave
the note to use `find -name '*thingtosearchfor*'` and copy it to $home,
extract and view it.

> 
> 2018-01-11 21:42 GMT+01:00 Ludovic Courtès <ludo@gnu.org>:
> 
> > Hello Guix!
> >
> > It’s time to prepare for GSoC again!
> >
> > We need to collect ideas, presumably based on
> > <https://libreplanet.org/wiki/Group:Guix/GSoC-2017>, in a new
> > “GSoC-2018” page on that wiki.
> >
> > Let’s add new ideas to
> > <https://libreplanet.org/wiki/Group:Guix/GSoC-2018>!
> >
> > Does someone want to take care of coordinating with Giuseppe Scrivano
> > and others at summer-of-code@gnu.org?  (Essentially sending them the URL
> > of the idea list and monitoring the list.)
> >
> > Ludo’.
> >
> >
> >
> > ---------- Továbított levél ----------
> > From: Giuseppe Scrivano <gscrivano@gnu.org>
> > To: GNU Summer Of Code <summer-of-code@gnu.org>
> > Cc:
> > Bcc:
> > Date: Tue, 09 Jan 2018 11:06:53 +0100
> > Subject: [IMPORTANT] Ideas for Summer of Code 2018
> > Hi!
> >
> > Google is accepting applications for the next Summer of Code and as
> > usual we are going to apply for it. José, Darshit and myself are going
> > to manage the presence of GNU.
> >
> > We should start thinking about a list of ideas for the next Summer of
> > Code and potential mentors.
> >
> > This is the list of ideas we had last year:
> >
> >   http://www.gnu.org/software/soc-projects/ideas-2017.html
> >
> > Is there anything left undone that can be reused this year?
> >
> > Please start sending ideas to add to the page and link them to the
> > potential mentors that can help with it.
> >
> > Please send the html snippet for the ideas page, something like:
> >
> > ------------------------------------------------------------
> > ---------------------
> > <h3 id="foo"><a href="http://www.gnu.org/software/foo";>GNU FOO</a></h3>
> >
> > <p>GNU FOO maintains their list of ideas for GSOC in an external
> >   webpage: <a
> > href="http://foo.org/wanted.html";>http://foo.org/wanted.html</a>.
> > </p>
> > ------------------------------------------------------------
> > ---------------------
> >
> > so that it can be embedded in the page as it is.
> >
> > Regards,
> > Giuseppe
> >
> >
> >

-- 
ng0 :: https://ea.n0.is
A88C8ADD129828D7EAC02E52E22F9BBFEE348588 :: https://ea.n0.is/keys/

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Ideas for Summer of Code 2018 anyone?
  2018-01-13 19:32   ` ng0
@ 2018-01-13 20:12     ` Gábor Boskovits
  2018-01-13 21:18       ` ng0
  0 siblings, 1 reply; 7+ messages in thread
From: Gábor Boskovits @ 2018-01-13 20:12 UTC (permalink / raw)
  To: Gábor Boskovits, Ludovic Courtès, Guix-devel

[-- Attachment #1: Type: text/plain, Size: 5263 bytes --]

2018-01-13 20:32 GMT+01:00 ng0 <ng0@n0.is>:

> Gábor Boskovits transcribed 6.9K bytes:
> > I've checked last the list from last year.
> >
> > It seems to me that the RISCV port might be more important than ever in
> the
> > face of Spectre.
>
> It doesn't really fix that and suffer from it aswell, but a port to it
> would be great for the other obvious reasons.
>
>
Current implementations seem not to be affected.
Also mitigating problems like this, provided that we have rtl level
open source designs have a much better chance. We have this
for example for Freedom: https://github.com/sifive/freedom.
And yes, porting would be great for other reasons too.

What I currently miss from the field of open hardware the most
is an open source FPGA. This could really close the gap we
are now having, and we could make really fully open hardware.
An open sourced FPGA design would be important not for
manifaturing, but to allow checking it. It is not unheard of
buggy FPGA-s. However,I don't think that this will happen any
time soon.

> The shepherd systemd semantics would be also nice to have.
> > I consider the syntax less important.
> > It would be also nice to create a service or set of services to make
> > administration experience
> > similar to a systemd sytem. For example the functionality of journalctl
> > would be nice to have.
>
> That is one goal that can be defined 'log view' and discussed.
> The rest above is not very clear, lots of guessing.
>
> > Even a howto on configuring guixds to have the equivalent services of
> > systemd would
> > benefit adoptation, and it could point to functionality missing in our
> > system compared to
> > systemd.
>
>
What I actually is journalctl, and a status display like systemctl status.
It is great that work is in progress in this area, I was not aware of 'log
view'.

I think it would also be great if we could give pointers how to replicate:

localectl
networkctl
resolved
systemctl
timedatectl

functions. People coming from a systemd background could have a
document to find the appropriate sections in our manuals.


> I don't think we need everything systemd has, or do we?
> What are you personally or work related missing, besides the obvious
> amount of services?
>
> I myself was missing an easy, less scheme focused way to create operating
> systems, so I'm working on that. To get to why I mention this: I thought it
> was too obvious, but most of the time the things that are too obvious
> are not being worked on because they are too obvious.
>
> I would very much like to have an build log reader+browser as mentioned
> here
> in the past. Today I've pointed someone to /var/log/guix/drvs/ and just
> gave
> the note to use `find -name '*thingtosearchfor*'` and copy it to $home,
> extract and view it.
>
> >
> > 2018-01-11 21:42 GMT+01:00 Ludovic Courtès <ludo@gnu.org>:
> >
> > > Hello Guix!
> > >
> > > It’s time to prepare for GSoC again!
> > >
> > > We need to collect ideas, presumably based on
> > > <https://libreplanet.org/wiki/Group:Guix/GSoC-2017>, in a new
> > > “GSoC-2018” page on that wiki.
> > >
> > > Let’s add new ideas to
> > > <https://libreplanet.org/wiki/Group:Guix/GSoC-2018>!
> > >
> > > Does someone want to take care of coordinating with Giuseppe Scrivano
> > > and others at summer-of-code@gnu.org?  (Essentially sending them the
> URL
> > > of the idea list and monitoring the list.)
> > >
> > > Ludo’.
> > >
> > >
> > >
> > > ---------- Továbított levél ----------
> > > From: Giuseppe Scrivano <gscrivano@gnu.org>
> > > To: GNU Summer Of Code <summer-of-code@gnu.org>
> > > Cc:
> > > Bcc:
> > > Date: Tue, 09 Jan 2018 11:06:53 +0100
> > > Subject: [IMPORTANT] Ideas for Summer of Code 2018
> > > Hi!
> > >
> > > Google is accepting applications for the next Summer of Code and as
> > > usual we are going to apply for it. José, Darshit and myself are going
> > > to manage the presence of GNU.
> > >
> > > We should start thinking about a list of ideas for the next Summer of
> > > Code and potential mentors.
> > >
> > > This is the list of ideas we had last year:
> > >
> > >   http://www.gnu.org/software/soc-projects/ideas-2017.html
> > >
> > > Is there anything left undone that can be reused this year?
> > >
> > > Please start sending ideas to add to the page and link them to the
> > > potential mentors that can help with it.
> > >
> > > Please send the html snippet for the ideas page, something like:
> > >
> > > ------------------------------------------------------------
> > > ---------------------
> > > <h3 id="foo"><a href="http://www.gnu.org/software/foo";>GNU
> FOO</a></h3>
> > >
> > > <p>GNU FOO maintains their list of ideas for GSOC in an external
> > >   webpage: <a
> > > href="http://foo.org/wanted.html";>http://foo.org/wanted.html</a>.
> > > </p>
> > > ------------------------------------------------------------
> > > ---------------------
> > >
> > > so that it can be embedded in the page as it is.
> > >
> > > Regards,
> > > Giuseppe
> > >
> > >
> > >
>
> --
> ng0 :: https://ea.n0.is
> A88C8ADD129828D7EAC02E52E22F9BBFEE348588 :: https://ea.n0.is/keys/
>

[-- Attachment #2: Type: text/html, Size: 8109 bytes --]

^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Ideas for Summer of Code 2018 anyone?
  2018-01-13 18:10 ` Gábor Boskovits
  2018-01-13 19:32   ` ng0
@ 2018-01-13 21:16   ` Ludovic Courtès
  1 sibling, 0 replies; 7+ messages in thread
From: Ludovic Courtès @ 2018-01-13 21:16 UTC (permalink / raw)
  To: Gábor Boskovits; +Cc: Guix-devel

Heya Gábor,

Gábor Boskovits <boskovits@gmail.com> skribis:

> I've checked last the list from last year.
>
> It seems to me that the RISCV port might be more important than ever in the
> face of Spectre.
>
> The shepherd systemd semantics would be also nice to have.
> I consider the syntax less important.
> It would be also nice to create a service or set of services to make
> administration experience
> similar to a systemd sytem. For example the functionality of journalctl
> would be nice to have.
> Even a howto on configuring guixds to have the equivalent services of
> systemd would
> benefit adoptation, and it could point to functionality missing in our
> system compared to
> systemd.

I have mixed feelings about journalctl (but then again I have almost no
experience with it), but otherwise these all look like good ideas to me!
Would you like to adjust the wiki page accordingly?

Thanks,
Ludo’.

^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Ideas for Summer of Code 2018 anyone?
  2018-01-13 20:12     ` Gábor Boskovits
@ 2018-01-13 21:18       ` ng0
  0 siblings, 0 replies; 7+ messages in thread
From: ng0 @ 2018-01-13 21:18 UTC (permalink / raw)
  To: Gábor Boskovits; +Cc: Guix-devel

[-- Attachment #1: Type: text/plain, Size: 5780 bytes --]

Gábor Boskovits transcribed 13K bytes:
> 2018-01-13 20:32 GMT+01:00 ng0 <ng0@n0.is>:
> 
> > Gábor Boskovits transcribed 6.9K bytes:
> > > I've checked last the list from last year.
> > >
> > > It seems to me that the RISCV port might be more important than ever in
> > the
> > > face of Spectre.
> >
> > It doesn't really fix that and suffer from it aswell, but a port to it
> > would be great for the other obvious reasons.
> >
> >
> Current implementations seem not to be affected.
> Also mitigating problems like this, provided that we have rtl level
> open source designs have a much better chance. We have this
> for example for Freedom: https://github.com/sifive/freedom.
> And yes, porting would be great for other reasons too.
> 
> What I currently miss from the field of open hardware the most
> is an open source FPGA. This could really close the gap we
> are now having, and we could make really fully open hardware.
> An open sourced FPGA design would be important not for
> manifaturing, but to allow checking it. It is not unheard of
> buggy FPGA-s. However,I don't think that this will happen any
> time soon.
> 
> > The shepherd systemd semantics would be also nice to have.
> > > I consider the syntax less important.
> > > It would be also nice to create a service or set of services to make
> > > administration experience
> > > similar to a systemd sytem. For example the functionality of journalctl
> > > would be nice to have.
> >
> > That is one goal that can be defined 'log view' and discussed.
> > The rest above is not very clear, lots of guessing.
> >
> > > Even a howto on configuring guixds to have the equivalent services of
> > > systemd would
> > > benefit adoptation, and it could point to functionality missing in our
> > > system compared to
> > > systemd.
> >
> >
> What I actually is journalctl, and a status display like systemctl status.
> It is great that work is in progress in this area, I was not aware of 'log
> view'.

There is no work on a log viewer. I just suggested it again, for the GSoC.

> I think it would also be great if we could give pointers how to replicate:
> 
> localectl
> networkctl
> resolved
> systemctl
> timedatectl
> 
> functions. People coming from a systemd background could have a
> document to find the appropriate sections in our manuals.
> 
> 
> > I don't think we need everything systemd has, or do we?
> > What are you personally or work related missing, besides the obvious
> > amount of services?
> >
> > I myself was missing an easy, less scheme focused way to create operating
> > systems, so I'm working on that. To get to why I mention this: I thought it
> > was too obvious, but most of the time the things that are too obvious
> > are not being worked on because they are too obvious.
> >
> > I would very much like to have an build log reader+browser as mentioned
> > here
> > in the past. Today I've pointed someone to /var/log/guix/drvs/ and just
> > gave
> > the note to use `find -name '*thingtosearchfor*'` and copy it to $home,
> > extract and view it.
> >
> > >
> > > 2018-01-11 21:42 GMT+01:00 Ludovic Courtès <ludo@gnu.org>:
> > >
> > > > Hello Guix!
> > > >
> > > > It’s time to prepare for GSoC again!
> > > >
> > > > We need to collect ideas, presumably based on
> > > > <https://libreplanet.org/wiki/Group:Guix/GSoC-2017>, in a new
> > > > “GSoC-2018” page on that wiki.
> > > >
> > > > Let’s add new ideas to
> > > > <https://libreplanet.org/wiki/Group:Guix/GSoC-2018>!
> > > >
> > > > Does someone want to take care of coordinating with Giuseppe Scrivano
> > > > and others at summer-of-code@gnu.org?  (Essentially sending them the
> > URL
> > > > of the idea list and monitoring the list.)
> > > >
> > > > Ludo’.
> > > >
> > > >
> > > >
> > > > ---------- Továbított levél ----------
> > > > From: Giuseppe Scrivano <gscrivano@gnu.org>
> > > > To: GNU Summer Of Code <summer-of-code@gnu.org>
> > > > Cc:
> > > > Bcc:
> > > > Date: Tue, 09 Jan 2018 11:06:53 +0100
> > > > Subject: [IMPORTANT] Ideas for Summer of Code 2018
> > > > Hi!
> > > >
> > > > Google is accepting applications for the next Summer of Code and as
> > > > usual we are going to apply for it. José, Darshit and myself are going
> > > > to manage the presence of GNU.
> > > >
> > > > We should start thinking about a list of ideas for the next Summer of
> > > > Code and potential mentors.
> > > >
> > > > This is the list of ideas we had last year:
> > > >
> > > >   http://www.gnu.org/software/soc-projects/ideas-2017.html
> > > >
> > > > Is there anything left undone that can be reused this year?
> > > >
> > > > Please start sending ideas to add to the page and link them to the
> > > > potential mentors that can help with it.
> > > >
> > > > Please send the html snippet for the ideas page, something like:
> > > >
> > > > ------------------------------------------------------------
> > > > ---------------------
> > > > <h3 id="foo"><a href="http://www.gnu.org/software/foo";>GNU
> > FOO</a></h3>
> > > >
> > > > <p>GNU FOO maintains their list of ideas for GSOC in an external
> > > >   webpage: <a
> > > > href="http://foo.org/wanted.html";>http://foo.org/wanted.html</a>.
> > > > </p>
> > > > ------------------------------------------------------------
> > > > ---------------------
> > > >
> > > > so that it can be embedded in the page as it is.
> > > >
> > > > Regards,
> > > > Giuseppe
> > > >
> > > >
> > > >
> >
> > --
> > ng0 :: https://ea.n0.is
> > A88C8ADD129828D7EAC02E52E22F9BBFEE348588 :: https://ea.n0.is/keys/
> >

-- 
ng0 :: https://ea.n0.is
A88C8ADD129828D7EAC02E52E22F9BBFEE348588 :: https://ea.n0.is/keys/

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Ideas for Summer of Code 2018 anyone?
  2018-01-11 20:42 Ideas for Summer of Code 2018 anyone? Ludovic Courtès
  2018-01-13 18:10 ` Gábor Boskovits
@ 2018-01-13 21:24 ` Ludovic Courtès
  1 sibling, 0 replies; 7+ messages in thread
From: Ludovic Courtès @ 2018-01-13 21:24 UTC (permalink / raw)
  To: Guix-devel

ludo@gnu.org (Ludovic Courtès) skribis:

> It’s time to prepare for GSoC again!
>
> We need to collect ideas, presumably based on
> <https://libreplanet.org/wiki/Group:Guix/GSoC-2017>, in a new
> “GSoC-2018” page on that wiki.
>
> Let’s add new ideas to
> <https://libreplanet.org/wiki/Group:Guix/GSoC-2018>!
>
> Does someone want to take care of coordinating with Giuseppe Scrivano
> and others at summer-of-code@gnu.org?  (Essentially sending them the URL
> of the idea list and monitoring the list.)

I’ve created the <https://libreplanet.org/wiki/Group:Guix/GSoC-2018> but
rest assured: the position of Guix GSoC coordinator is still available.
:-)

Ludo’.

^ permalink raw reply	[flat|nested] 7+ messages in thread

end of thread, other threads:[~2018-01-13 21:24 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-01-11 20:42 Ideas for Summer of Code 2018 anyone? Ludovic Courtès
2018-01-13 18:10 ` Gábor Boskovits
2018-01-13 19:32   ` ng0
2018-01-13 20:12     ` Gábor Boskovits
2018-01-13 21:18       ` ng0
2018-01-13 21:16   ` Ludovic Courtès
2018-01-13 21:24 ` 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).