opam-repository/packages/coqide-server/ at 1fdce8d7dcbeaba036c608da3d0bab066b1c6fb7 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / coqide-server /

at 1fdce8d7dcbeaba036c608da3d0bab066b1c6fb7 9 folders

coqide-server.8.17.0

Point coq release tarballs to checksum-stable released tarballs

8 months ago

coqide-server.8.17.1

Point coq release tarballs to checksum-stable released tarballs

8 months ago

coqide-server.8.18.0

Update packages/coqide-server/coqide-server.8.18.0/opam

2 years ago

coqide-server.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

coqide-server.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

coqide-server.8.19.2

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

2 years ago

coqide-server.8.20.0

Add Coq.8.20.0

1 year ago

coqide-server.8.20.1

Add Coq 8.20.1

11 months ago

coqide-server.9.0.0

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

9 months ago