Open JasonGross opened 1 year ago
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/?
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/?