Julien Lepiller <jul...@lepiller.eu> 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 <bre...@posteo.net> GNU Guix, Contributor <https://guix.gnu.org/>
