-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 03 Aug 2016 16:47:13 +0200 Source: apron Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev Architecture: source amd64 all Version: 0.9.10-9 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Nicolas Braud-Santoni <nicolas@braud-santoni.eu> Description: libapron - runtime libraries for APRON libapron-dev - abstract interpretation library libapron-ocaml - runtime libraries for APRON (OCaml interface) libapron-ocaml-dev - abstract interpretation library (OCaml interface) Closes: 715070 Changes: apron (0.9.10-9) unstable; urgency=medium . * Team upload. * Make libapron-dev depend on libapron (Closes: #715070) * Bump Standards-Version to 3.9.8 * debian/control: Use canonical, HTTPS URLs * debian/copyright: Update - Switch to fomat 1.0 - Fix syntax errors - Fix license information on some files * debian/rules: Fail on non-installed files * Use build-time hardening * Install all shlib symlinks in libapron-dev This required a package transition * Fix typos in documentation & binaries Add patch 0010-Fix-typos.patch * Add doc-base files Checksums-Sha1: 060de63ae8a68beaa3f2481b808913a0fb4537bb 2192 apron_0.9.10-9.dsc b787d9c685bc56c0d0b03f8c1352f30cfc304110 15356 apron_0.9.10-9.debian.tar.xz 73427b2084f9fd5d939906ffff99f34836fcfc55 36630 libapron-dbgsym_0.9.10-9_amd64.deb 30b16498b4a9b014af8890a45a3729952236293a 131986 libapron-dev_0.9.10-9_all.deb bde4230095cdc429292ff59d8600beac2cc3a423 16604 libapron-ocaml-dbgsym_0.9.10-9_amd64.deb bff0c66c80f7eb6e829061e99e62ae84ca5e5984 1277402 libapron-ocaml-dev_0.9.10-9_amd64.deb 2726bf723244b71b07e6c10e8181c4f12a550de3 60498 libapron-ocaml_0.9.10-9_amd64.deb 1431bf11f4fcc1c08b34471ce6f3425da6d960fc 483472 libapron_0.9.10-9_amd64.deb Checksums-Sha256: 7a7121e28ac369901f212eb4d2e4422e8c5b3178efd8ef1927b384ee61b2a116 2192 apron_0.9.10-9.dsc d0e1ba1e532465bec47f7dfb7c90c2a7aa5b0e00a6e653f25cded1e9779687f9 15356 apron_0.9.10-9.debian.tar.xz ad6bb476040893bd0eba899b15d7b6e8a9920205a6b12e864d4434c916a9437c 36630 libapron-dbgsym_0.9.10-9_amd64.deb c78bf3af37362615803ad57f60001cc0aa99ff8fd2325d38a4756123d025e20b 131986 libapron-dev_0.9.10-9_all.deb da55142a005f7e73d8142d97b126f71eecf79756d978a028968ded8b26ce5184 16604 libapron-ocaml-dbgsym_0.9.10-9_amd64.deb fc1b2cfb1db19b1f4c1f7cd6f0ecde219d410ab03cdd8699a53e5246df45f40a 1277402 libapron-ocaml-dev_0.9.10-9_amd64.deb ddd0a7da7efd4c6ce2d2b0902372973d5f8a45dd6680b381c420334ce8a3225e 60498 libapron-ocaml_0.9.10-9_amd64.deb 7c4fa9c288e37e0ff9ecf5e370435b506a1ec0ebf01ee843065188af08f281ef 483472 libapron_0.9.10-9_amd64.deb Files: dc88530ba4a62fa7bef3e1bad4871fca 2192 libdevel optional apron_0.9.10-9.dsc 50a3b99b2708bb247546722e6ef27e81 15356 libdevel optional apron_0.9.10-9.debian.tar.xz d14a1b5e90b04bb855d4f5bd0d7e7bd8 36630 debug extra libapron-dbgsym_0.9.10-9_amd64.deb 7fbb70dc2afb0f80238b77484693a22e 131986 libdevel optional libapron-dev_0.9.10-9_all.deb 7b07bdce72422a1153a9a5271a7987d8 16604 debug extra libapron-ocaml-dbgsym_0.9.10-9_amd64.deb 4a4ed5eb40e636c0df4265e3e16356b7 1277402 ocaml optional libapron-ocaml-dev_0.9.10-9_amd64.deb 7ed8cf772a7402158670c0c98feab092 60498 ocaml optional libapron-ocaml_0.9.10-9_amd64.deb adfb61b514690f9bf73bf69208b6aba9 483472 libs optional libapron_0.9.10-9_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJXogV6AAoJEHhT2k1JiBrThisP/2gub6bjaXafrnyHHTCcwrQK Yiqy2KzYEWkOkwuw/ODVVijQzoG0BjDj6s1jzizgOwMuSPPBwCwUNS3bEkijinDC 1T1EhRUCva1PLpbYkfYVj79Kxm289fgHyMcwhyUz6KP8KAX9IH0MZXyH9yKYwWNP gEIfmIjDuVFL7UGVCkxv4e6GVc8e4ybeF+FHtNP+nH36e3Qh1qTlniGwObUq1sWz AmKRWvb2Qr/sPCN6CzHRc9IcuXCGx3J7LYawg21UhXIEQwLShaiICP7o3g1OZ1hB v4gj2WNfT0aeAwNBG4Wc5vgD53g2o6am+mc5f/SR6dJXomMUPjFp2LhJIYA+13Kh H8blBEkWo/Uxl9hzM47n30ubSUtzfTbRXQ5iauT9+sGSv10yLTLrcQ8TE1wf/pb0 1UEmIB+k8lixBMO5zGpovF81a1urAfctaEx4s40rOtge8UD5+IGy92mdZAnesmPv LjCijuXnrKyG82Uwxnele11EFJUn/cOEeOKRI3g83mez74evTIbHg2yOzGecFOxp b5XPPtp2zBg+KX2VQMicY2NQqIfoWO7EDuInQOuvQ9am7iKedJVQWY2NQG+kAKnX tbrU9fh2LvtXV/QOECI9ptWDclBIf3pmNaXGLxXFD7fDOUetJ6fnG0EBw7mSfw1u Eu+ahgK24iD09Hh4ud39 =WgWI -----END PGP SIGNATURE-----
