search

coq / opam

Archive for all Coq related OPAM packages organized in various repositories
https://coq.inria.fr/opam/www/
GNU Lesser General Public License v2.1
127 stars 166 forks source link

[extra-dev] Update coq-elpi.dev lower bound on ocaml #3193

Closed proux01 closed 3 weeks ago

proux01 commented 3 weeks ago

Copied bound from coq-elpi.2.2.3

Cc @gares following the failure of https://gitlab.inria.fr/coq/opam/-/jobs/4906344 in https://github.com/coq/opam/pull/3192