Package: libapron-dev Priority: optional Section: universe/libdevel Installed-Size: 1410 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Architecture: all Source: apron Version: 0.9.10-7 Depends: libgmp3-dev, libmpfr-dev, libppl-dev Filename: pool/universe/a/apron/libapron-dev_0.9.10-7_all.deb Size: 129978 MD5sum: 0f06bbd474e2a6e64feecd41dba605a9 SHA1: be42bfc3695fdf13ca34e724ef2525d79e6a92c3 SHA256: 1851719a99f999ae475b6214be6d763f5eda27e4b94dc85deb2690df3b3576f0 Description: abstract interpretation library Homepage: http://apron.cri.ensmp.fr/library/ Description-md5: 8cfe62b6d247bb639dc39aba20be9b0f Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu