LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

OCaml

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

OCamlEmerging

Stars

1

Forks

—

Contributors

8

Last push

4mo ago

Recent commits

Latest commits.

Merge pull request #3277 from gilhur/master
1805ffbKarl Palmskog18mo ago
Release coq-paco.4.2.2
668ce2fGil Hur18mo ago
Merge pull request #3276 from palmskog/add-coq-ott-0.34
770ca7eKarl Palmskog18mo ago
add coq-ott.0.34
f11204cKarl Palmskog18mo ago
Merge pull request #3274 from palmskog/dep-opam
eb1b0ebKarl Palmskog18mo ago

workaround for what appears to be opam admin check problem on opam 2.3.0, gives Invalid_argument(filter_deps)

bb52a62Karl Palmskog18mo ago

Merge pull request #3273 from palmskog/pcm-hb-1.8-dev

105ef1fKarl Palmskog18mo ago

coq-fcsl-pcm.dev depends on coq-hierarchy-builder

2e4d420Karl Palmskog18mo ago

Top contributors

Builders behind this project.