2 results found Sort:
Archive for all Coq related OPAM packages organized in various repositories
Created
2015-05-27
8,514 commits to master branch, last one 6 days ago
Turn opam-based OCaml projects into Nix derivations
Created
2021-12-22
343 commits to main branch, last one 16 days ago