Switch the build method of coq-mathcomp-multinomials.dev from dune to coq_makefile

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

121 stars 162 forks source link

Switch the build method of coq-mathcomp-multinomials.dev from dune to coq_makefile #3104

Closed pi8027 closed 1 month ago

pi8027 commented 1 month ago

See math-comp/multinomials#90.

pi8027 commented 1 month ago

Ping @palmskog since this PR is blocking the merge of any PR to Apery (e.g., coq-community/apery#24 and coq-community/apery#25) and math-comp/math-comp#1245.

palmskog commented 1 month ago

OK, I guess we can merge this since the failure is seemingly the opam solver timing out, and it lives in the extra-dev repo.

pi8027 commented 1 month ago

Thanks!

palmskog commented 1 month ago

@pi8027 note also that @proux01 can merge PRs here, in case I'm not available.