Package: libapron-dev Priority: optional Section: universe/libdevel Installed-Size: 1373 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: all Source: apron Version: 0.9.10-5.2ubuntu3 Depends: libgmp3-dev, libmpfr-dev, libppl-dev Filename: pool/universe/a/apron/libapron-dev_0.9.10-5.2ubuntu3_all.deb Size: 194520 MD5sum: 723cf37bff121858e060be46f513780c SHA1: 59e4a06065478996b16e975447ca0b780a0c66bc SHA256: 2b02040b03448b20e9a3f4f88c20af85c2089c13dbd7ab5335ebd0e46f0e8088 Description: an abstract interpretation library Homepage: http://apron.cri.ensmp.fr/library/ Description-md5: 16f96b6087ed491a2c7708d5d8fef746 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu