Suivre

I was quite productive this week-end :)

- closed a number of obsolete tickets on the bug tracker
- updated most OCaml and Coq packages
- managed to get coq-semantics to release a new version :D
- Fixed two issues in the opam importer
- Got rid of some ocaml4.07-* packages
- Implemented v2 of a patch to decouple builds and downloads counts, so they can run in parallel (no more waiting unrelated downloads before building): issues.guix.gnu.org/39728

Inscrivez-vous pour prendre part à la conversation
Framapiaf

Le réseau social de l'avenir : Pas d'annonces, pas de surveillance institutionnelle, conception éthique et décentralisation ! Possédez vos données avec Mastodon !