Dec 30, 2019 3:34:22 PM Ludovic Courtès : > Guix-HPC is “institutional”, that’s part of the reason behind this. > Regarding gitlab.inria.fr, that’s because it used to be hosted at Inria. > Also, is a channel developed > by colleagues at Inria, so it’s more convenient to have it there. Hey Ludo, thanks for the explanation. It makes sense why Guix-HPC lives somewhere else. Given this, what do you propose for initiating the conversation on where the formal methods haunt page should live with the other maintainers? I personally think the repository should live on Savannah, but the address needs to be discussed. Any other maintainers reading this, please feel free to weigh in. -- Brett M. Gilio GNU Guix, Contributor | GNU Project, Webmaster [DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE] <bre...@gnu.org> <bre...@posteo.net>
- [Proposal] The Formal Methods in GNU Guix Working Group Brett Gilio
- Re: [Proposal] The Formal Methods in GNU Guix Worki... Julien Lepiller
- Re: [Proposal] The Formal Methods in GNU Guix W... Julien Lepiller
- Re: [Proposal] The Formal Methods in GNU Gu... Brett Gilio
- Re: [Proposal] The Formal Methods in GNU Gu... Ludovic Courtès
- Re: [Proposal] The Formal Methods in GN... Brett Gilio
- Re: [Proposal] The Formal Methods ... Ludovic Courtès
- Re: [Proposal] The Formal Meth... Brett Gilio
- Re: [Proposal] The Formal ... Ludovic Courtès
- Re: [Proposal] The Formal ... Brett Gilio
- Re: [Proposal] The Formal ... Ludovic Courtès
- Re: [Proposal] The Formal ... Amin Bandali
- Re: [Proposal] The Formal ... Ludovic Courtès
- Re: [Proposal] The Formal ... Maxim Cournoyer
- Re: [Proposal] The Formal Meth... Amin Bandali
- Re: [Proposal] The Formal ... Vicente Eduardo
- Re: [Proposal] The Formal ... Jan Nieuwenhuizen
- Re: [Proposal] The Formal Methods in GNU Guix W... Brett Gilio
- Re: [Proposal] The Formal Methods in GNU Guix Worki... zimoun
- Re: [Proposal] The Formal Methods in GNU Guix W... Julien Lepiller