opam-repository/packages/coq-waterproof/ at main · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / coq-waterproof /

at main 6 folders

coq-waterproof.2.0.1+8.17

Add dev-repo field

2 years ago

coq-waterproof.2.1.0+8.17

Update packages/coq-waterproof/coq-waterproof.2.1.0+8.17/opam

2 years ago

coq-waterproof.2.1.1+8.17

Merge pull request #25028 from jim-portegies/opam-publish-coq-waterproof.2.1.1-8.17

2 years ago

coq-waterproof.2.1.1+8.18

coq-waterproof: cleanup opam file

2 years ago

coq-waterproof.2.2.0+8.17

Update packages/coq-waterproof/coq-waterproof.2.2.0+8.17/opam

1 year ago

coq-waterproof.2.2.0+8.20

Package coq-waterproof.2.2.0+8.20

9 months ago