search

stedolan / malfunction

Malfunctional Programming
Other
336 stars 19 forks source link

Please make a new release #41

Closed mattam82 closed 2 months ago

mattam82 commented 5 months ago

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 commented 5 months ago

@stedolan ?

mattam82 commented 3 months ago

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

stedolan commented 2 months ago

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