-----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-6
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Homepage: http://apron.cri.ensmp.fr/library/
Standards-Version: 3.9.0
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/apron.git
Vcs-Git: git://anonscm.debian.org/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
 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
 78593f738c4fa279b2dd425726cfb7b6b47ea585 11794 apron_0.9.10-6.debian.tar.gz
Checksums-Sha256: 
 f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94 934321 apron_0.9.10.orig.tar.gz
 8066a8236a19fa372b466a635628c5ccfb653440ee7760fb05a70999b9ac94d2 11794 apron_0.9.10-6.debian.tar.gz
Files: 
 17058de80f7352885eb4064585baf873 934321 apron_0.9.10.orig.tar.gz
 688fad8cc226739e2dd875be347a25aa 11794 apron_0.9.10-6.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iQIcBAEBCgAGBQJSuspRAAoJEHhT2k1JiBrTpoUP/17Eg7LY8DGtxXmBdDoYtHF2
pTCMAJ2d+9W/Buk2xBK+k3rMPoY8dte1svouqU3VhetDeAEzVwVrPTBcCC4YAmbz
hXYIl8mQj2Jz2NnyZErHEC/Y1RUZ8hkdzVjKA0zv+QB9sHKpqOcxTbnYXgQB32CH
lLrPIWGqxHUh0pXeljA0rGbmareKzuFUI2uZOsBBvHF2f5/EcXacnj2uDIk+5rLf
JEtiHPhHeH79oxdm13SyO8Dx9U+zkY0rmHTPmxnJxV/H3or7Zx7dnm69H3PRfVRP
5/x/W1dRNoWEC93Cv4WalqW5W7qb8Ef5axCzJn8C/4w6mYawoyuI7jkWC46ZR1q3
KWoNNXlkZc74kztPDkoAgeq3OEnts6aTBxzFrO46fvssE8xQeliNt0bWSS3tbgZd
d15B73/atndfp6sm9cQICOAluwDIMSXo9HPwns2v3dvpDcGmMVrR/bqm0jkff7Nn
TPnqs2Dg4QNtd+unfhQKrJ+y3/Wjkg2b1WQIhn8nzR7C0SgG4EfW2gI1uvENiHTk
7KV0OXC8zyNqu4u1l33+hPUtDncyw4Dv4JInY/fv3pK2Vt7JLKs+t5vaGvMd9JKn
Yar6oCc4fuj+Amy67QiwzE9rF38C7sGzJXCX4BwlnRRVjLIywn2FHIVdYUVXaXrz
2JapchbrRhixZHa0HQWJ
=RWLt
-----END PGP SIGNATURE-----