Package: libapron-dev Source: apron Version: 0.9.10-9 Installed-Size: 1413 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: all Depends: libapron, 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-9_all.deb Size: 131986 MD5sum: 7fbb70dc2afb0f80238b77484693a22e SHA256: c78bf3af37362615803ad57f60001cc0aa99ff8fd2325d38a4756123d025e20b