Please make this plugin available on opam

coq-community / reduction-effects

A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]

Mozilla Public License 2.0

6 stars 6 forks source link

Please make this plugin available on opam #1

Closed JasonGross closed 5 years ago

JasonGross commented 5 years ago

Despite the claim to "eventually submit as an opam package" a year and a half ago, I cannot find it on opam. I think it is worth submitting now (and keeping up to date, and maybe adding to the CI?), even if it does not yet have the additional features you mentioned in that comment.

liyishuai commented 5 years ago

An OPAM release is ready, provided coq-community/manifesto#51 gets resolved. Update: release proposed in coq/opam-coq-archive#622.