[CI] Add Coq 8.17 - Githubissues

math-comp / multinomials

Multinomials for the Mathematical Components library.

Other

14 stars 12 forks source link

Closed proux01 closed 1 year ago

proux01 commented 1 year ago

Thanks @strub ! Could you please release a 1.5.6 so that we have a version of multinomials working with Coq 8.17?