Publishing details
Changelog
apron (0.9.10-9.1build1) focal; urgency=medium
* No change rebuild against new ocaml ABI
-- Dimitri John Ledkov <email address hidden> Fri, 21 Feb 2020 01:31:05 +0000
Builds
Built packages
-
libapron
runtime libraries for APRON
-
libapron-dbgsym
debug symbols for libapron
-
libapron-dev
abstract interpretation library
-
libapron-ocaml
runtime libraries for APRON (OCaml interface)
-
libapron-ocaml-dbgsym
debug symbols for libapron-ocaml
-
libapron-ocaml-dev
abstract interpretation library (OCaml interface)
Package files