Package: libapron-dev
Architecture: all
Version: 0.9.10-9.1build1
Priority: optional
Section: universe/libdevel
Source: apron
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1414
Depends: libapron, libgmp3-dev, libmpfr-dev, libppl-dev
Filename: pool/universe/a/apron/libapron-dev_0.9.10-9.1build1_all.deb
Size: 126516
MD5sum: 7478e2517002cc20030a236348922476
SHA1: f381c12060c4edc71f2802dbb4730cc8968f03e9
SHA256: ecb30ce500e75d8ca7b92ea9e196a0fddd0519176f318b394aba5236b8dc62c3
Homepage: http://apron.cri.ensmp.fr/library/
Description: abstract interpretation library
Description-md5: 8cfe62b6d247bb639dc39aba20be9b0f