opam-repository

There are 7 repositories under opam-repository topic.

coq/opam
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml118 19 129160
na4zagin3/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
Language:Shell18 5 5517
metaocaml/metaocaml-opam
A repository of MetaOCaml packages
12 5 32
gfngfn/satysfi-external-repo
Custom OPAM repository for external libraries of SATySFi
4 6 14
BinaryAnalysisPlatform/opam-repository
BAP Rolling Release OPAM repository
Language:Shell2 6 05
Chris00/opam-repository
Main public package repository for OPAM, the source package manager of OCaml
Language:Shell1 3 0
paurkedal/opam-repo-paurkedal
Language:OCaml1 3 0