-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 23 Sep 2008 19:53:51 +0000 Source: ppl Binary: libppl7 libppl-dev libppl-c0 libpwl4 libpwl-dev libppl-doc Architecture: source amd64 all Version: 0.10~pre27-4 Distribution: unstable Urgency: low Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Arthur Loiret <arthur.loiret@gmail.com> Description: libppl-c0 - Parma Polyhedra Library (C interface) libppl-dev - Parma Polyhedra Library (development) libppl-doc - Parma Polyhedra Library: Documentation libppl7 - Parma Polyhedra Library (runtime library) libpwl-dev - Parma Watchdog Library (Watchdog timers - development) libpwl4 - Parma Watchdog Library (Watchdog timers - runtime library) Closes: 499830 499832 499937 Changes: ppl (0.10~pre27-4) unstable; urgency=low . * debian/rules: - Always copy config.sub an config.guess since we Build-Depends on autotools-dev. - Fix targets to have testsuite runs. - Add check to .PHONY. * Move ppl_lcdd and ppl_lpsol binaries and manpages from libppl7 to libppl-dev, make libppl-dev Replaces libppl7 (<< 0.10~pre27-4). Closes: #499832. * Make libppl-dev Replaces libppl6, ppl-config binary has moved. Closes: #499830. * Make libpwl-dev Replaces libpwl3, /usr/bin/libpwl.a has moved. Closes: #499937. * Only install huge ChangeLog into libppl-dev and libpwl-dev. - Don't symlink libppl-dev /usr/share/doc dir to libppl7. - Add symlinks for changelog.gz to libppl7, libppl-c0 and libpwl4. Checksums-Sha1: 525b3608f232f362ac88655a2cf062f34eddcaeb 1394 ppl_0.10~pre27-4.dsc 828146613230f7f56bcc9b24503794b1fe752f04 22313 ppl_0.10~pre27-4.diff.gz 7067d04b7a0415568af7652ae5af132fb4bd0d50 347958 libppl7_0.10~pre27-4_amd64.deb acff60f2ff9b7557dc118929d06d46f1da54329a 2056712 libppl-dev_0.10~pre27-4_amd64.deb 053c9e41fc04894cb67e9e1e26382310cbe33c59 490946 libppl-c0_0.10~pre27-4_amd64.deb 34799eee72d820c707e97128ae789031f293b0cb 36374 libpwl4_0.10~pre27-4_amd64.deb 56f1eb1f354f4151fe8eda864531cc1a1aecab3e 680462 libpwl-dev_0.10~pre27-4_amd64.deb 7d1610ff126a13eb018685f9567ae44f6d181c79 40304754 libppl-doc_0.10~pre27-4_all.deb Checksums-Sha256: 3bbb8f519acfaf874e4e48a37c06ffad9b37977be579b0cdd46b0039d6607838 1394 ppl_0.10~pre27-4.dsc 381eb6ee55814fe4385582313828a8a0daaffbcb81390c4ffbf9420df5988b4d 22313 ppl_0.10~pre27-4.diff.gz 4bf4ff5b97ae5597f9ceb8632f6ff32ac7995f9b1adb951f8ee1684955430e41 347958 libppl7_0.10~pre27-4_amd64.deb a1cb9ff524b71c3fff410bae9ff5fa2dc1bb7b5efe24ee34a088df790e13fb1c 2056712 libppl-dev_0.10~pre27-4_amd64.deb b138a7dbc644925c1b6ba2d279c382df2a0834751e4364eefcb0663bcbd00671 490946 libppl-c0_0.10~pre27-4_amd64.deb 504f7b05706376298983e71b0aa18a92ccede4c2d27e9fa19e02e2e929f01b14 36374 libpwl4_0.10~pre27-4_amd64.deb 6202e86c24f49bb83ef632b612fea6fd7d03317186b4c6bcbf952f52739a5ae2 680462 libpwl-dev_0.10~pre27-4_amd64.deb 7fe0b76e30020d830c6b638938808056b5302070595d608a5552b84e6e75f58c 40304754 libppl-doc_0.10~pre27-4_all.deb Files: 97649c20f2cc7499921653ee3a618025 1394 libs optional ppl_0.10~pre27-4.dsc 3f07e9229b6c945998ac22b441c3402d 22313 libs optional ppl_0.10~pre27-4.diff.gz 3cacedd87c8ab0ddfb1481cc72f3c13e 347958 libs optional libppl7_0.10~pre27-4_amd64.deb 52e3a4e0d82d9468fdc7768b269adf9a 2056712 libdevel optional libppl-dev_0.10~pre27-4_amd64.deb e308fa5c750111e1215bbd5fb6fc30d9 490946 libs optional libppl-c0_0.10~pre27-4_amd64.deb 19c80befc476f9ec38bdd3a3524f10b4 36374 libs optional libpwl4_0.10~pre27-4_amd64.deb b77bc05d5a1a47697c1ab9b411ab74e0 680462 libdevel optional libpwl-dev_0.10~pre27-4_amd64.deb 3157a63d9c624cdbaadfee70095b0dea 40304754 doc optional libppl-doc_0.10~pre27-4_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkjaOKcACgkQriZpaaIa1PliKQCfWgpCtUemW6ZIiNqI19ljp3jf GP8An0OcG8eVSnLsCTpnNiCqtmiPHF7L =sz5d -----END PGP SIGNATURE----- Accepted: libppl-c0_0.10~pre27-4_amd64.deb to pool/main/p/ppl/libppl-c0_0.10~pre27-4_amd64.deb libppl-dev_0.10~pre27-4_amd64.deb to pool/main/p/ppl/libppl-dev_0.10~pre27-4_amd64.deb libppl-doc_0.10~pre27-4_all.deb to pool/main/p/ppl/libppl-doc_0.10~pre27-4_all.deb libppl7_0.10~pre27-4_amd64.deb to pool/main/p/ppl/libppl7_0.10~pre27-4_amd64.deb libpwl-dev_0.10~pre27-4_amd64.deb to pool/main/p/ppl/libpwl-dev_0.10~pre27-4_amd64.deb libpwl4_0.10~pre27-4_amd64.deb to pool/main/p/ppl/libpwl4_0.10~pre27-4_amd64.deb ppl_0.10~pre27-4.diff.gz to pool/main/p/ppl/ppl_0.10~pre27-4.diff.gz ppl_0.10~pre27-4.dsc to pool/main/p/ppl/ppl_0.10~pre27-4.dsc
