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-6 Depends: libgmp3-dev, libmpfr-dev, libppl-dev Filename: pool/universe/a/apron/libapron-dev_0.9.10-6_all.deb Size: 129510 MD5sum: b9f9dceecf6ddfc313df19c3f382979e SHA1: 352a5102c4f0907b86fcd1599be605f041df6457 SHA256: 9bb17d8b55bdc13f02f725b3388871a832092782a5a82f6a9448ac54a32ea4f6 Description: abstract interpretation library Homepage: http://apron.cri.ensmp.fr/library/ Description-md5: 8cfe62b6d247bb639dc39aba20be9b0f Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu