opam package? #7
Description
I'm looking into depending on LAProof, and it'd be nice to be able to just list it as an opam dependency on my CI. Any chance a (pre)release could be added to https://github.com/coq/opam-coq-archive/?
{{ message }}
I'm looking into depending on LAProof, and it'd be nice to be able to just list it as an opam dependency on my CI. Any chance a (pre)release could be added to https://github.com/coq/opam-coq-archive/?