Package: libapron-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 1410
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-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