-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 12 Nov 2016 16:47:39 +0000 Source: ppl Binary: libppl14 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source amd64 all Version: 1:1.2-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Tobias Hansen <thansen@debian.org> Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-dev - Parma Polyhedra Library (development) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl14 - Parma Polyhedra Library (runtime library) ppl-dev - Parma Polyhedra Library (development binaries) Closes: 806865 811825 818957 Changes: ppl (1:1.2-1) unstable; urgency=medium . [ Andreas Tille ] * Team upload * Move package to Debian Science team Git * cme fix dpkg-control * Remove libppl6 breaks * debhelper 9 . [ Tobias Hansen ] * New upstream version. (Closes: #811825, #818957) * Fix build-indep target (Closes: #806865) * Rename package libppl13v5 -> libppl14, new soname. * Remove patches that were applied upstream: - 0001-Warnings-avoided.patch - 0002-Adapted-to-SWI-Prolog-version-7.x.patch - doxygen-update.diff - latex-header.diff * Do not use the fixdebugpath flag from dpkg-buildflags, which breaks the build. * Add myself to uploaders. Checksums-Sha1: acf584eb131688331cdaab200c640d357bc8c76c 2366 ppl_1.2-1.dsc 56c3e4cf3be90e11dfdd877b449adedc26cd8ec9 14136236 ppl_1.2.orig.tar.xz 902e79801cfdf53cca16c7cc23ba78ecc42dfbb7 11796 ppl_1.2-1.debian.tar.xz f22f1fd693969d49c164ab779b276082d699d16b 9707038 libppl-c4-dbgsym_1.2-1_amd64.deb 0a32984517d1263e6da58fd0b72f4bb2b2645589 903502 libppl-c4_1.2-1_amd64.deb 4ccf97afd6da5a6c6c17c32462fc7bd83c83335b 2011902 libppl-dev_1.2-1_amd64.deb 5763da72ad24de1d8244b2acd95e97f551989cab 6673358 libppl-doc_1.2-1_all.deb 37246e76855e5d431197d6d22fc3c40e7c61512d 11343954 libppl-swi-dbgsym_1.2-1_amd64.deb a38ca436d878be93cc0283e220696c5edd21ce07 2462334 libppl-swi_1.2-1_amd64.deb 895e34bbfa1fe7bc9106b2c112ef78149df7062f 5392830 libppl14-dbgsym_1.2-1_amd64.deb 03a9b66fd5e7697f64892dc264e9de1e604c2924 608704 libppl14_1.2-1_amd64.deb ff610f7d5c5975c02bde08b08f7ab238b6c5e5b8 46404 ppl-dev-dbgsym_1.2-1_amd64.deb ca77e1c3cca6e9f26ea4ed577faa79ee933a9656 225930 ppl-dev_1.2-1_amd64.deb 564d647d4a66d8d4f211335599fe99dfac9a9f8b 10716 ppl_1.2-1_20161112T190605z-a5959d6b.buildinfo Checksums-Sha256: ce360121b3ac5d82e72897e2f6c3169ffcb743c35b0e403d6e62019bd58452cc 2366 ppl_1.2-1.dsc 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz b4b8a6a38441c3f8da3e36d41153acd9ca48a6f0bb73d0885ef101a809eba9a4 11796 ppl_1.2-1.debian.tar.xz c50851617d3f1dbf511657c9039426869ffa10ea5c68507ac6e9f30bf1f078a6 9707038 libppl-c4-dbgsym_1.2-1_amd64.deb d857ae445e03640ca62484265a4a92f8735d0366870c09b267257dcec2bb87a9 903502 libppl-c4_1.2-1_amd64.deb fec05aa78f46f0df30ed465810314b826ee5eb2f4a93dc7f0533fc68fb1607c5 2011902 libppl-dev_1.2-1_amd64.deb 71770b8aeb01e78c3b84cf673ca7a886d914b20277d745114746920232ae5816 6673358 libppl-doc_1.2-1_all.deb 74e6b5f35f2e51b32e5f241b69403a626ff1a7bad6dcab9207cf1304eabee53a 11343954 libppl-swi-dbgsym_1.2-1_amd64.deb 034ead42e23b2819e0d07fdc1aed38102ae7880408aff312b9d4ba4b6edd49a3 2462334 libppl-swi_1.2-1_amd64.deb 4e541f2db8a965cd2c1ba59dae0a25a64359e6424f12b4b58927b0127075b2e2 5392830 libppl14-dbgsym_1.2-1_amd64.deb 469ef45fd577390c388694490930ec40fe50d5c5b22c3ce94c9529cd5b3ac8ad 608704 libppl14_1.2-1_amd64.deb 3532d40ae1a9184037d953f3be71d800022a8ba81badde160259a217ce0b3dec 46404 ppl-dev-dbgsym_1.2-1_amd64.deb 27dafcc1d63c1569334e037c688c18ed2b25e12950cde353fadbf819ba9846e6 225930 ppl-dev_1.2-1_amd64.deb 5422ed5bfd2b8bc5d4351c1282fc031b69eaebf0c7f3d794eaddec33b2d87ced 10716 ppl_1.2-1_20161112T190605z-a5959d6b.buildinfo Files: 0fd1a9eddedd7293e9971131b3f059f8 2366 libs optional ppl_1.2-1.dsc e7bd12043d1064214f7a0107b6da3f17 14136236 libs optional ppl_1.2.orig.tar.xz 4dbd2fc5ab7301c13309051fde9b95eb 11796 libs optional ppl_1.2-1.debian.tar.xz 0a9457307ee27eeee74f800829d6e85c 9707038 debug extra libppl-c4-dbgsym_1.2-1_amd64.deb 52fc65a07beffb9fc3e36e0a095bd29e 903502 libs optional libppl-c4_1.2-1_amd64.deb fa12f4df18afa6a75c6787967c84ae4d 2011902 libdevel optional libppl-dev_1.2-1_amd64.deb cad31e937c9012530483135914f3f7c7 6673358 doc optional libppl-doc_1.2-1_all.deb a7e0c645b1058035ff23766f24ec5d8f 11343954 debug extra libppl-swi-dbgsym_1.2-1_amd64.deb c62e663814c339445d25408e8275b980 2462334 libs optional libppl-swi_1.2-1_amd64.deb d517eebd7b7f540cb23d632eb71ebd6b 5392830 debug extra libppl14-dbgsym_1.2-1_amd64.deb 8b1a76f1ea4e81525146a23f8a392539 608704 libs optional libppl14_1.2-1_amd64.deb fbaa0bbdab1fddf8c3cf955ad3f5a46c 46404 debug extra ppl-dev-dbgsym_1.2-1_amd64.deb 0f18866e8211e7594204919a1a07aa41 225930 devel optional ppl-dev_1.2-1_amd64.deb a5959d6b0ed5731f8944fbda85ac993c 10716 libs optional ppl_1.2-1_20161112T190605z-a5959d6b.buildinfo -----BEGIN PGP SIGNATURE----- iQIcBAEBCAAGBQJYJ2hqAAoJEIyCFp2Ozs0qukgP/juZ1APqhZu+ECpfpu/2mirh snYoCvNvJG0zlzGQRXDFjtfHXqm37aakEa3f6jJ/EUxsolcAkuysiqkIxr8fuMpy 0p3zdYpEis+F/96deIkbwQ/Jg6rLNNnvZHCo7DM0n0O7Y+nje040PWNNm4bPCUwM XWFYV+AGuw+Qd/Su5wAol1mRUO6oh/PX9DQ45mknJ05KLf/tM3dCeWhwxObdp7kg Bk88M9hJG+DbbDluj65O9iUjp45ZqUcSuKkyWZ+9FAF6hJOg2tiS5fE9KsHaP4jK RdIhsAP+ZPk9IKE4aMIXs8bUFtOz5FbZdGXwGUPiICUguZcdQePI3D2IUI8q+AYL N1KaMjJwgfmiFvy2PgKAeQqGGKlanQ72pxHCvY88OuFegPmqAQOBbxr98PBX7iKj ufoZACzJXQt19AKcNgnC4Zqhhtmug8DAEzqkn246SZI/C+Sp9q+JneqLVhVY20RD Hzsp29gUXXb5r0qtifZfWj1QMYpXKX8uNJNlKbtIkbUKOfrA3ZxM+qfj/K0WLA/5 EaYg+GWUWt8bjXyD/nCHtkJYoYBaSHmELg1tZlSNos5I6GzUK4vb1JcZjgHqVzSi PSwvIBqEl9IPEm4qqdl39VqJa1xyXdb9dKQ3JiOm0y5Mk6smtXUu7RXHnAG+yCHA g78s/ShH4GjuQlEPUPOn =FAN4 -----END PGP SIGNATURE-----
