avsm/docker-opam-coq-build
Docker base builds of Coq, OPAM and OCaml in various combinations
Public GitHub Catalog
Discovered Oct 5, 2026
avsm / docker-opam-build
Docker base builds of OPAM and OCaml in various combinations
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#28721213GitHub System ID
avsmOrganization / User
PublicVisibility
ActiveCatalog Status
More from avsm
avsm/opam-mirror
Mirror upstream distribution files for an OPAM repository
avsm/docker-opam-archive
Docker builds of the OPAM package repository archive
avsm/docker-opam-core-build
Docker base builds of Jane Street Core using the OCaml/OPAM images