-----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-7 Maintainer: Debian OCaml Maintainers 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 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 49b61b3eec1103557b3e6251e5d7d783b1031b76 10792 apron_0.9.10-7.debian.tar.xz Checksums-Sha256: f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94 934321 apron_0.9.10.orig.tar.gz d280130930f3ee082c9bdc39fc71e9298a6a1a57e7d8a8e99df33add84da2669 10792 apron_0.9.10-7.debian.tar.xz Files: 17058de80f7352885eb4064585baf873 934321 apron_0.9.10.orig.tar.gz 9d90618d47b6010e0aed9e38dea77cb7 10792 apron_0.9.10-7.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWnBW2AAoJEDO+GgqMLtj/9FkP/2NJS8FWKV4Xg+8oODHcmRSo suZ0SFpArwBN4YOmUdqoRgB4sMlSsLU4SBUBrinj+yHBGLLyfFbnva3o6ql4/sKA prARLVdVVvUq2wwJiydxq4kTPwue49YzBFEgDYVoCtx8k2RfyYhB37eR0l2s1is+ 9536xVkXSKJicT/pWnjA4HWz1S5DhxLd9M9qJUhSRx8+k6zyg1tUTPs1jvz7uW0I s5nhcMKrEq0b6pjJuWX+c5x7yIxDPshJ6YziFYijIP7Sv322xae84Qc21JifnyQH oJiaFpUu4pDPHWp/2ZJLfp2q+1jWK5UuCm92XeDIK4o5EC2qAcYDM6ljvhhIrt+U dyF9eTvwDLFugT1ICYDB/QeN5SYTR0P6NpB60CJ67C30jRZlB5edK0ptxc8+0J0R il0PcEcvXOLlzkRvXfkbaTcMCNSOH+PbkcyQGDam1++kEUUBopdkvLwwiirkB63x xjuv91+i5Eb4bQXFVK5RoKHXX9Vp7f4N7VUsYTk+1kipCIoRMJaW7W625wx4Kuen 4Z7bJKq9Auw8/yJpX8525bQsmEKZ2RhrM98+yNQm5pYpC5YpEGiepB0F24PZNfqd ZLET66UVgAT1heWZRr/e42Wx2xeTN5Zc7bOWa79cxUN+6Xcyj86GjQ/6zJNUnr56 zsegk07TN9MIDZbp9M7I =0anA -----END PGP SIGNATURE-----