update opam package definition for Coq 8.9 and with other metadata

imdea-software / fcsl-pcm

Partial Commutative Monoids

Apache License 2.0

25 stars 12 forks source link

update opam package definition for Coq 8.9 and with other metadata #6

Closed palmskog closed 5 years ago

palmskog commented 5 years ago

The repo works fine for me with Coq 8.9.0, so updated opam file to reflect this. Also using canonical SPDX string for license, and added some more OPAM metadata.

Any chance for a new version soon that can live in the released Coq OPAM repo?

anton-trunov commented 5 years ago

Thanks for the PR!

Any chance for a new version soon that can live in the released Coq OPAM repo?

Hard to predict the timing, sorry. @aleksnanevski and myself have been hacking on some core parts of FCSL-PCM recently.