#

opam

Here are 3 public repositories matching this topic...

akabe / docker-ocaml

Minimum docker images for OCaml+OPAM

docker functional-programming ocaml opam

Updated Dec 18, 2019
Dockerfile

math-comp / docker-mathcomp

Docker images of coq-mathcomp [maintainer=@erikmd]

dockerfile ci docker-image coq opam mathcomp

Updated May 2, 2025
Dockerfile

tyabu12 / dockerfiles

Various Dockerfiles.

docker ocaml coq eliom opam

Updated Feb 12, 2019
Dockerfile

Improve this page

Add a description, image, and links to the opam topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the opam topic, visit your repo's landing page and select "manage topics."