release/update for mathcomp 1.16 - Githubissues

math-comp / real-closed

Theorems for Real Closed Fields

13 stars 11 forks source link

release/update for mathcomp 1.16 #53

Open clayrat opened 1 year ago

clayrat commented 1 year ago

Currently https://github.com/coq/opam-coq-archive/blob/master/released/packages/coq-mathcomp-real-closed/coq-mathcomp-real-closed.1.1.3/opam conflicts with 1.16

proux01 commented 1 year ago

Fixed: https://github.com/coq/opam-coq-archive/pull/2489