|
| From: | Julien Lepiller |
| Subject: | Re: [Proposal] The Formal Methods in GNU Guix Working Group |
| Date: | Mon, 16 Dec 2019 10:22:11 +0100 |
| User-agent: | K-9 Mail for Android |
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 :)
| [Prev in Thread] | Current Thread | [Next in Thread] |