opam-repository

There are 2 repositories under opam-repository topic.

• coq / opam

  Archive for all Coq related OPAM packages organized in various repositories

  coqopam-repositoryopam
  Language:OCaml 118

• na4zagin3 / satyrographos-repo

  Custom OPAM repository for SATySFi libraries managed by Satyrographos

  opam-repositorysatysfi
  Language:Shell 18

• metaocaml / metaocaml-opam

  A repository of MetaOCaml packages

  metaocamlmetaprogrammingmulti-stage-programmingopam-repository
  12

• gfngfn / satysfi-external-repo

  Custom OPAM repository for external libraries of SATySFi

  ocamlopamopam-repositorysatysfi
  4

• BinaryAnalysisPlatform / opam-repository

  BAP Rolling Release OPAM repository

  bapopam-repository
  Language:Shell 2

• Chris00 / opam-repository

  Main public package repository for OPAM, the source package manager of OCaml

  ocamlopamopam-repository
  Language:Shell 1

• paurkedal / opam-repo-paurkedal

  ocamlopam-repository
  Language:OCaml 1