-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 20 Jan 2019 16:48:25 +0000 Source: ppl Binary: libppl14 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source Version: 1:1.2-7 Distribution: unstable Urgency: medium Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> Changed-By: James Clarke <jrtc27@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: 919899 Changes: ppl (1:1.2-7) unstable; urgency=medium . * Team upload. * debian/control: Drop libppl-swi on sh4 * Perform missing symlink_to_dir conversion for /usr/share/doc/package (Closes: #919899) Checksums-Sha1: 732c80977bf758c8743842d118bb049b2e867d3b 2573 ppl_1.2-7.dsc 06cfd13275bfb7f97fdafe8f4eab4994b15c664e 12068 ppl_1.2-7.debian.tar.xz 526671511188ae2a12dad94c3f4e78ccdad9fa99 12564 ppl_1.2-7_amd64.buildinfo Checksums-Sha256: bab5b0d728d55b48cea3c41013c910e7adc6c1b32e7fba8a694b8ca123b108d3 2573 ppl_1.2-7.dsc 11c13875a735f1a764b26c1cd7fa0ee869315ee59e478317577a50c9cfac8d41 12068 ppl_1.2-7.debian.tar.xz d6e7bc1f6fa537601c31b5d77c97398de2fad01ee68375b005ddbea9f43f74d8 12564 ppl_1.2-7_amd64.buildinfo Files: 3ab2638234655042d9c635a0f89e18a0 2573 libs optional ppl_1.2-7.dsc 5b572a6cedc425c4a9119f46c7a24151 12068 libs optional ppl_1.2-7.debian.tar.xz 4c852350a21db74e2c2d61ebdfaf1921 12564 libs optional ppl_1.2-7_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlxEtJwACgkQsZN3DBhq HH1P6xAAmeBDIfOwzEcm+tplebsEiaX/i6vFIILPGTU+rZXcgRvXQuDA3H0KX0Ia tpD+jc3qSnO8UAPIUfGJqX9tZMtHjUJN8TpQapHd7AlocYzU98ycPdNf4qFQ+i9U SlVQr/S5hCpnMZmJLEOfA4mwGm+/nXj/tbgXZcHYWPXc/c56qcpBgNFt0MBmZGda BsmBMha6MzVfqB4DxSfyiD90Iq5oQw9Y9mEregA3+t9o+7qWXEdzlziiwLaYn0cS PAOkcTMIyP+2d5Rda5x6BuqW6S/w59RR+XVXz+zPgACQ85H29x2wqVUad1/npK9H iFJe76pz/5TDhTCwr4H+r1P/gg5QjQnIwtsDGf5Lpo2CzCE+iv9FKR4D0BtLWIid xsuEo/MI41efLV8Jdl2AOTdjqdd5PJodukFaLYZuqvcJD5M0OddBFtq0NY/F59+E n7rpeR6oM1jRzC8F1lt0U4m5PUAMO07sE0hBiGiLoiA7wWIYMtP/frtxxRzC1KEb lRat8CQ3y30bCQiZpqJqWm3slHdJZc5E4+XbcVu3VXTsIC+4pTXw0zFPkF5Ku4n2 7fueic1awp9/qmO6ZZ9zCi51Si4t9gdAb0GGMv/MFx2FkZt4xR4/GsAkS6Xi+s1j KJhA3xyBuko7dXa0f1YeYWqnK+5wM1cktBMBiTV6uVIMCS73BUk= =AFlF -----END PGP SIGNATURE-----
