Package: libapron-dev
Source: apron
Version: 0.9.10-6
Installed-Size: 1372
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: all
Depends: libgmp3-dev, libmpfr-dev, libppl-dev
Description: abstract interpretation library
Homepage: http://apron.cri.ensmp.fr/library/
Description-md5: 8cfe62b6d247bb639dc39aba20be9b0f
Tag: devel::lang:c, devel::library, devel::testing-qa, implemented-in::c,
 role::devel-lib, use::analysing, use::checking
Section: libdevel
Priority: optional
Filename: pool/main/a/apron/libapron-dev_0.9.10-6_all.deb
Size: 133584
MD5sum: 54288bafa082761fb72bcfbc9dd817bb
SHA1: cea2a76390e2e68b1046597f38a31cddf6efe3e2
SHA256: 4111793f78e50f085dacd3a475088736eb6b058304d353b4fe678c0605cf85bc