-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 14 Jul 2016 20:13:56 +0200
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source
Version: 0.9.10-8
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Ralf Treinen <trei...@debian.org>
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: 805993
Changes:
apron (0.9.10-8) unstable; urgency=medium
.
* Team upload
* Fix package-build with -A, by letting dh install the lintian override
(Closes: #805993). Thanks to Santiago Vila for the patch
Checksums-Sha1:
0ba660509a80c9b8e07762310b40cd74b869dd2e 2190 apron_0.9.10-8.dsc
4f44a71aa952b640e4aa8c644e144675b57dca0a 10804 apron_0.9.10-8.debian.tar.xz
Checksums-Sha256:
7e128ae1f2da283af1b05517bcd1c5da7987c585b58801ac1ce04ae26fd95e87 2190
apron_0.9.10-8.dsc
d7dc380f2241307abcd31c02789968ce7e0302b1ca81eddd637cd1980129b392 10804
apron_0.9.10-8.debian.tar.xz
Files:
6ebaba7419ff9494b901ded2bee366a9 2190 libdevel optional apron_0.9.10-8.dsc
ed3abf196a446c439347480446e85366 10804 libdevel optional
apron_0.9.10-8.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJXh9qfAAoJEHRcR2bUys3/+aMQAId/3GHgIRrxjleFwP1M2pNo
QwVg9Uwtb/7cEJnFgnBv868vAHgonF7f/T/WQz1MAtt8KicZRK31PELYa/tSatg+
DFNyvXvNrO1lcTQ5SJixYx/eUqpgN649erOZTIuqi3ra3WXdkUChSRcwwvVxDTGx
WnQN8Qz18SGKoa3qnAxkDw1aJPpIuWyzlNPf6dzsKQCeSjpJP6x586V3ikyZsYEx
hde4GBq9zh7LNsyHAYRsR0XcR6PWgyxRskjPVPraTIPJHtiY2Bg8H0w7/nRRCiIp
d0n2/WoxSiFbob4ZF/ORCC+aDdpoM0AA1qGjfYb3n71tSJAyOsOZrZuYPBYZBo8I
gm+Z0YKsmD9pFCyJatJMpjX2EDBVGV/NTzcVrce+NiWCvNNv8B3NRkEQKbULbDIr
rg7TlULfoGdVVzZkZhjTJDRnkF+Cjt9T8cmtvcnnd0Q/7311sXjNc3chspBsw8X3
Wr7xG+UI22WBabOD6rehZVdlCo0ep5E/JjYEA5b2ok3aeUa2+Ei+vwoQX1CW8tQv
KQVOEomNmXuV5jfBK1Xc8rK8y50OOJkHylwrAZemMHCRs8qzLVck1T8i/xKGY1lr
vpRzBuoKNTUy9d61SV+gNyI1yWL0hKlMrYCQvZ+SSron2+t3fhGyAsKnpFpHgHlF
amnx0dQYt39cJJsTG6pt
=remI
-----END PGP SIGNATURE-----
