-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: apron Binary: libapron, libapron-dev, libapron-ocaml, libapron-ocaml-dev Architecture: any all Version: 0.9.10-5.2ubuntu3 Maintainer: Ubuntu Developers Uploaders: Samuel Mimram , Stéphane Glondu Homepage: http://apron.cri.ensmp.fr/library/ Standards-Version: 3.9.0 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/apron.git Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/apron.git Build-Depends: debhelper (>= 7.0.50~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlidl, dh-ocaml (>= 0.9~), libgmp3-dev, libmpfr-dev, libppl0.11-dev | libppl-dev, texi2html (>= 1.82) Package-List: libapron deb libs optional libapron-dev deb libdevel optional libapron-ocaml deb ocaml optional libapron-ocaml-dev deb ocaml optional Checksums-Sha1: 2defc170d522ab1c7ec0c50036d931411aa2fbc6 934321 apron_0.9.10.orig.tar.gz ed91f79028d1ac42de89505167347d57d3cf825b 10991 apron_0.9.10-5.2ubuntu3.debian.tar.gz Checksums-Sha256: f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94 934321 apron_0.9.10.orig.tar.gz 6ec79ac222fd1de349754ce8bb3a9856cdac08c5b10cd05321024946ba7f135d 10991 apron_0.9.10-5.2ubuntu3.debian.tar.gz Files: 17058de80f7352885eb4064585baf873 934321 apron_0.9.10.orig.tar.gz b16bf147eee864c21299eee0753f1e30 10991 apron_0.9.10-5.2ubuntu3.debian.tar.gz Original-Maintainer: Debian OCaml Maintainers -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Colin Watson -- Debian developer iQIVAwUBTseZLDk1h9l9hlALAQg/VA/5AR+ZHMAjbUU72fpmjHToDkiniEv/m3gB u8E7AWNdz7Uhyx+Vf0+SINyMcLbAU1eB+UV+ZaXZrDWrkaVXn0vunqRncUS5UGuE NIJAF0AuYaEaPqjZyagI46/dCIBWdHczTVyuxHh4evTqU3Rf7xLhEBo9S43sT99N K+jU52LhLIKoGQDa2rbV0Q280TZIiQambySXz6YPGAFc7GVF+nVMoSbiBLz3p4qO L/1QY+VVJBs7vrjI0mpSs2BfJiZtxdhhHbbnxfOndO8TBzZq+LORqparTQ60VlhG eFaTcQflbBccQHtY1YvJLAFiRmVQv/57y0UNcHVxGoYyERZAefO/lgRQKEtGygAT KwKmuZnMaJFn/Jqv43zm5hxG6KHEVX9DnFNqiq5ng9xxFr9EUCBUT16lTZ07HHHa 52JiELG2CueGpE+efHlBQb56kMkTkdJgXLkgjn5fx95Ywb380/l6pOHkEJSVN2MY aGI1HYW+6p9Y3GVOBkHh0QBBIxQP4PfCrikPUkIJD0PNMqbhaevwBPUtD/0WqfDd U3ld8BlKW6WCNVgtVYuQCKwIMhUrZp+h37LHzltiCYBDVG8wWTUAhic06cwTRajy 92e9SxJGpfU4qX/3r3FbK1v7Zqe8ipm6o1kbh6+Lx/RkQ5G2sZBidGH4xRJHkLzG IwXsQvEjk8w= =9Yvx -----END PGP SIGNATURE-----