malfunction icon indicating copy to clipboard operation
malfunction copied to clipboard

Published 20 hours ago • verified publisher icon stedolan

Please make a new release

Open mattam82 opened this issue 11 months 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