search

imdea-software / fcsl-pcm

Partial Commutative Monoids
Apache License 2.0
25 stars 12 forks source link

Official Coq 8.8.0 and mathcomp 1.7 support in OPAM #3

Closed palmskog closed 6 years ago

palmskog commented 6 years ago

According to my quick evaluation, fcsl-pcm works fine with the recently released Coq 8.8.0 and mathcomp 1.7. Any chance to get this reflected in the OPAM package in the Coq OPAM repository? No new release should be required, just new dependencies along the lines of

"coq" {>= "8.7" & < "8.9~"}
"coq-mathcomp-ssreflect" {>= "1.6.2" & < "1.8~"}

would be sufficient.

anton-trunov commented 6 years ago

See here: https://github.com/coq/opam-coq-archive/pull/312

palmskog commented 6 years ago

Thanks!