#

opam

Here are 4 public repositories matching this topic...

coq-community / docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]

dockerfile ci docker-image coq opam docker-coq

Updated Feb 13, 2025
Dockerfile

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 Feb 10, 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."