Publishing details
Changelog
apron (0.9.10-9build4) bionic; urgency=medium
* No-change rebuild for mpfr soname change.
-- Matthias Klose <email address hidden> Wed, 24 Jan 2018 21:19:24 +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