search

ocaml / opam-repository

Main public package repository for opam, the source package manager of OCaml.
https://opam.ocaml.org
Creative Commons Zero v1.0 Universal
509 stars 1.1k forks source link

Coqide 8.19.2 #26139

Closed SkySkimmer closed 6 days ago

mseri commented 6 days ago

Thanks