search

math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components
29 stars 1 forks source link

new release/update for mathcomp 1.16 #78

Closed clayrat closed 1 year ago

clayrat commented 1 year ago

Currently https://github.com/coq/opam-coq-archive/blob/master/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.0.0/opam conflicts with 1.16

thery commented 1 year ago

News?

pi8027 commented 1 year ago

Sorry, I was very busy until now. @thery Apparently, you fixed the issue? coq/opam-coq-archive#2476