opam-repository/packages/apron/ at df108915ed91c1703edb6718cb0a0e86f1d13d29 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / apron /

at df108915ed91c1703edb6718cb0a0e86f1d13d29 11 folders

use x-maintained instead of the deprecation flag

10 months ago

opam admin add-hashes sha256

2 years ago

opam admin add-hashes sha256

2 years ago

opam admin add-hashes sha256

2 years ago

opam admin add-hashes sha256

2 years ago

opam admin add-hashes sha256

2 years ago

Use SPDX notation for apron licenses

3 years ago

Use SPDX notation for apron licenses

3 years ago

apron: the version needs a v

2 years ago

apron.v0.9.14~beta.2

removed references to (inexistent) conf-pplite package ./configure decides whether to include pplite support

2 years ago

Package apron.v0.9.15

1 year ago