Re: [Proposal] The Formal Methods in GNU Guix Working Group

[Julien Lepiller]

I forgot to metion I have a small channel at 
https://framagit.org/tyreunom/guix-coq-channel that keeps track of every coq 
version since 8.6. I use it to test my coquille plugin on every coq version 
that exists, but I'm sure there are other use cases :)