search

coq-community / coqeal

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Other
66 stars 17 forks source link

Adapt the path of multinomials #77

Closed proux01 closed 1 year ago

proux01 commented 1 year ago

Following the commit fc3a21d5aeddcc494e59f606260b240c0d61da34 on https://github.com/math-comp/multinomials

proux01 commented 1 year ago

CI broken on Docker images that don't have access to extra-dev but green on the other so let's merge, this will be fixed by the next release of multinomials.