Accepted apron 0.9.10-9 (source amd64 all) into unstable
-----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-----