Package: libapron-dev
Architecture: all
Version: 0.9.10-9build4
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-9build4_all.deb
Size: 126548
MD5sum: ce51349d574f2bb38196cb2e95e10808
SHA1: f216a8ace69b5bce89ca425dbd44955b99e72ea3
SHA256: aaf274b349a4a53186cbd29d43ba50e801ded31aa97e34b0a80e0b0a6cec9007
Homepage: http://apron.cri.ensmp.fr/library/
Description: abstract interpretation library
Description-md5: 8cfe62b6d247bb639dc39aba20be9b0f