Package Usage: docker: ocaml/opam
The OCaml opam package manager images
1,696 versions
Latest release: about 1 year ago
3,179,141 downloads total
View more package details: https://packages.ecosystem.code.gouv.fr/registries/hub.docker.com/packages/ocaml/opam
Dependent Repos 5
coq/rocq-prover.org
The Rocq Prover WebsiteSize: 240 MB - Last synced: about 2 months ago - Pushed: about 2 months ago
