|
From: | Ludovic Courtès |
Subject: | Re: [Proposal] The Formal Methods in GNU Guix Working Group |
Date: | Fri, 27 Dec 2019 19:56:02 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hi! Julien Lepiller <address@hidden> skribis: > 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 > :) That’s an interesting kind of channel that’d be worth promoting (I think many people have similar needs for their CI.) If you feel like writing a blog post over the holidays… ;-) It’s also a very concrete item that’s directly useful to formal methods people, a good way to create ties. Ludo’.
[Prev in Thread] | Current Thread | [Next in Thread] |