opam-repository/packages/alt-ergo-lib/ at main · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / alt-ergo-lib /

at main 14 folders

alt-ergo-lib.2.3.0

opam admin add-hashes sha256

2 years ago

alt-ergo-lib.2.3.1

opam admin add-hashes sha256

2 years ago

alt-ergo-lib.2.3.2

opam admin add-hashes sha256

2 years ago

alt-ergo-lib.2.3.3

opam admin add-hashes sha256

2 years ago

alt-ergo-lib.2.4.0

opam admin add-hashes sha256

2 years ago

alt-ergo-lib.2.4.1

Apply suggestions from code review

3 years ago

alt-ergo-lib.2.4.2

extra-files are now extra-source

2 years ago

alt-ergo-lib.2.4.3

Update the tarball

2 years ago

alt-ergo-lib.2.5.0

use x-maintained instead of the deprecation flag

10 months ago

alt-ergo-lib.2.5.1

Add upper bound on alt-ergo-lib

2 years ago

alt-ergo-lib.2.5.2

Add upper bound on alt-ergo-lib

2 years ago

alt-ergo-lib.2.5.3

[new release] alt-ergo, alt-ergo-plugin-ab-why3, alt-ergo-parsers and alt-ergo-lib (2.5.3)

2 years ago

alt-ergo-lib.2.5.4

[new release] alt-ergo (4 packages) (2.5.4)

2 years ago

alt-ergo-lib.2.6.0

qcheck version

1 year ago