2 results found Sort:

168
133
lgpl-2.1
18
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
36
123
mit
21
Turn opam-based OCaml projects into Nix derivations
Created 2021-12-22
343 commits to main branch, last one 16 days ago