opam-repository/packages/coq-stdlib/ at ad2202b486885c0c13f146ead5c85646ce87e24e · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / coq-stdlib /

at ad2202b486885c0c13f146ead5c85646ce87e24e 9 folders

coq-stdlib.8.17.0

Point coq release tarballs to checksum-stable released tarballs

8 months ago

coq-stdlib.8.17.1

Point coq release tarballs to checksum-stable released tarballs

8 months ago

coq-stdlib.8.18.0

5 packages from coq/coq at 8.18.0

2 years ago

coq-stdlib.8.19.0

add coq-core.8.19.0, coq-stdlib.8.19.0, coqide-server.8.19.0, coq.8.19.0

2 years ago

coq-stdlib.8.19.1

add coq-core.8.19.1, coq-stdlib.8.19.1, coqide-server.8.19.1, coq.8.19.1, coqide.8.19.1

2 years ago

coq-stdlib.8.19.2

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

2 years ago

coq-stdlib.8.20.0

Add Coq.8.20.0

1 year ago

coq-stdlib.8.20.1

Add Coq 8.20.1

11 months ago

coq-stdlib.9.0.0

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

9 months ago