malfunction icon indicating copy to clipboard operation
malfunction copied to clipboard
verified publisher icon stedolan

Please make a new release

Open mattam82 opened this issue 2 years ago • 1 comments

We would like to have a new release including PR #38 (we can take care of opam packaging if you like, and don't need ocaml 5 support), so as to release https://github.com/yforster/coq-malfunction on opam.

mattam82 avatar Mar 21 '24 09:03 mattam82

@stedolan ?

mattam82 avatar Mar 28 '24 09:03 mattam82

Ping @stedolan , we'd like to get a first release out https://github.com/yforster/coq-verified-extraction/releases/tag/v0.9-8.19

mattam82 avatar May 28 '24 13:05 mattam82

Got there eventually! v0.6: https://github.com/ocaml/opam-repository/pull/26134

stedolan avatar Jun 23 '24 19:06 stedolan