2 results found Sort:

coq
opam coq
168
133
lgpl-2.1
18
Archive for all Coq related OPAM packages organized in various repositories
coq opam opam-repository
Created 2015-05-27
8,514 commits to master branch, last one 4 days ago
tweag
opam-nix tweag
36
123
mit
21
Turn opam-based OCaml projects into Nix derivations
nix opam ocaml opam-repository
Created 2021-12-22
343 commits to main branch, last one 13 days ago