Hi! Julien Lepiller <jul...@lepiller.eu> 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’.
