-----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-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@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-----
