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

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / alt-ergo-parsers /

at main 14 folders

alt-ergo-parsers.2.3.0

opam admin add-hashes sha256

2 years ago

alt-ergo-parsers.2.3.1

opam admin add-hashes sha256

2 years ago

alt-ergo-parsers.2.3.2

opam admin add-hashes sha256

2 years ago

alt-ergo-parsers.2.3.3

opam admin add-hashes sha256

2 years ago

alt-ergo-parsers.2.4.0

opam admin add-hashes sha256

2 years ago

alt-ergo-parsers.2.4.1

Conform the license field to the SPDX standard: LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1

3 years ago

alt-ergo-parsers.2.4.2

extra-files are now extra-source

2 years ago

alt-ergo-parsers.2.4.3

Update the tarball

2 years ago

alt-ergo-parsers.2.5.0

use x-maintained instead of the deprecation flag

10 months ago

alt-ergo-parsers.2.5.1

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

2 years ago

alt-ergo-parsers.2.5.2

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

2 years ago

alt-ergo-parsers.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-parsers.2.5.4

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

2 years ago

alt-ergo-parsers.2.6.0

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

1 year ago