-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: apron Binary: libapron, libapron-dev, libapron-ocaml, libapron-ocaml-dev Architecture: any all Version: 0.9.10-9 Maintainer: Debian OCaml Maintainers Homepage: http://apron.cri.ensmp.fr/library/ Standards-Version: 3.9.8 Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/apron.git Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/apron.git Build-Depends: debhelper (>= 9), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlidl, dh-ocaml (>= 0.9~), libgmp3-dev, libmpfr-dev, libppl-dev, texi2html (>= 1.82) Package-List: libapron deb libs optional arch=any libapron-dev deb libdevel optional arch=all libapron-ocaml deb ocaml optional arch=any libapron-ocaml-dev deb ocaml optional arch=any Checksums-Sha1: 2defc170d522ab1c7ec0c50036d931411aa2fbc6 934321 apron_0.9.10.orig.tar.gz b787d9c685bc56c0d0b03f8c1352f30cfc304110 15356 apron_0.9.10-9.debian.tar.xz Checksums-Sha256: f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94 934321 apron_0.9.10.orig.tar.gz d0e1ba1e532465bec47f7dfb7c90c2a7aa5b0e00a6e653f25cded1e9779687f9 15356 apron_0.9.10-9.debian.tar.xz Files: 17058de80f7352885eb4064585baf873 934321 apron_0.9.10.orig.tar.gz 50a3b99b2708bb247546722e6ef27e81 15356 apron_0.9.10-9.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJXogV3AAoJEHhT2k1JiBrTDeUP/jSR6P8lnKAbLMt4g+2EfQjj zhh5YYftd+/nGBskdblV9LQL8bxmJYwQa1n23AhoCYKLcHWqfMDu2WghM82fgeDi a7fMW+EFFKwT8P8ytoZHwSekOg59tH5DzgI9uHvDj5izfyXULxmy+zSgZeSXSGNW 4cwPbFwu2+YgrWVtK0X5lntrNg48Ivmh5WJ6/vLegw3+zCZRKCkZ2ZRJEedEHYBH lzZQsS/ls9VgKWm387I3FQNgsx2iNaHNlCeVbzi+mrdHiEkBrtZztcbjnukbuvl7 j7jNHbyIioAOCiOdw90zzT6FqcXzCYYm3M10axDWdR2tUzmnN8YdDzcr1WSDEprA soTB4KH0RuM3dgPDRw3S/HDWRJ7fv6kepc0oLBxq+OWuFxo3URbru3t4DDtv1QP4 WE48nrERDfCf4a8C3TXFQRP33qCcmueZuhDFqgLrMQHz2PAmWvVv1jD3Pv2Rb4p1 ++B7ufOjXLZZsQyyYV85M+Sa39N8bf83my3H9LgFFTLmWyoyR2Y0RZT0F9FNbAqm qGdEaiA5AbcLUB7cjYxLLNH/9TkSfRDipVrute5Urnsl8aB9Tk2GusSdiUDt8Fuy Lra4J62n8oT/NYrN+dfnDH8LxlUuDtU+AV5mt3tM3ULWIMpaLlbXXC9cp5LgqvKU UNAaizMuLm2xN4qoSSL3 =zIYm -----END PGP SIGNATURE-----