Back to ppl PTS page

Accepted ppl 1:1.2-1 (source amd64 all) into unstable, unstable



-----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-----