opam-repository/packages/coq-core/ at 4592800a5b7fe3cf52f4afb459b13d9138a079d4 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / coq-core /

at 4592800a5b7fe3cf52f4afb459b13d9138a079d4 9 folders

coq-core.8.17.0

Point coq release tarballs to checksum-stable released tarballs

8 months ago

coq-core.8.17.1

Point coq release tarballs to checksum-stable released tarballs

8 months ago

coq-core.8.18.0

Conflict 5.3.0~alpha1

1 year ago

coq-core.8.19.0

Conflict 5.3.0~alpha1

1 year ago

coq-core.8.19.1

Conflict 5.3.0~alpha1

1 year ago

coq-core.8.19.2

Coq 8.19.2 (coq-core,coq-stdlib,coqide-server,coq)

2 years ago

coq-core.8.20.0

Add Coq.8.20.0

1 year ago

coq-core.8.20.1

Add Coq 8.20.1

11 months ago

Merge pull request #27613 from mattam82/rocq-9.0-release

9 months ago