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

[Brett Gilio]

Julien Lepiller <address@hidden> writes:

> 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
> :)
>

Nice! Noted. Thank you Julien :)

-- 
Brett M. Gilio <address@hidden>
GNU Guix, Contributor <https://guix.gnu.org/>