opam-repository/packages/coqide-server/coqide-server.8.17.0/ at bd5743a90ca5e31886d0996fde126c597cf2b6ac · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / coqide-server / coqide-server.8.17.0 /

at bd5743a90ca5e31886d0996fde126c597cf2b6ac 1 file

Point coq release tarballs to checksum-stable released tarballs

8 months ago