[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted ppl 0.11-2 (source all amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 07 Nov 2010 19:39:32 +0100
Source: ppl
Binary: libppl9 libppl0.11-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.11-2
Distribution: experimental
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 libppl-c4  - Parma Polyhedra Library (C interface)
 libppl-doc - Parma Polyhedra Library: Documentation
 libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
 libppl0.11-dev - Parma Polyhedra Library (development)
 libppl9    - Parma Polyhedra Library (runtime library)
 libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
 libpwl5    - Parma Watchdog Library (Watchdog timers - runtime library)
Changes: 
 ppl (0.11-2) experimental; urgency=low
 .
   * Again disable 2 Prolog tests as there is some failure on PowerPC only that
     I'm unable to debug (see also 0.10.2-5).
Checksums-Sha1: 
 770e1eae84cb0d38dcf6a5ef9f47dd965b750ad1 1423 ppl_0.11-2.dsc
 63d33ba927c1d833daeb18b718aac9399dbe1d51 303855 ppl_0.11-2.debian.tar.gz
 26b0ce2c4cafd396e1cee4a4054eb3046119e36b 510872 libppl9_0.11-2_amd64.deb
 bde98124bf8d255a901ef95fb8ffef305d692f48 3754656 libppl0.11-dev_0.11-2_amd64.deb
 3567901fa1ef371d04181b248eec45aedaf38964 1826924 libppl-c4_0.11-2_amd64.deb
 b79cbd97495f3ae89db0c9395807bea1dd364bde 21830 libpwl5_0.11-2_amd64.deb
 667002733dda3fc501a5c2d430d40f085e50050a 30716 libpwl-dev_0.11-2_amd64.deb
 5f570f671253b2431fd02f127f491cddfe5bfce7 8598318 libppl-swi_0.11-2_amd64.deb
 601d4994f4060acdb1438076ad03bb37c7c2495a 4108934 libppl-doc_0.11-2_all.deb
Checksums-Sha256: 
 1ed171b8ba75c54f49e8ee2f4b7465ce8601e39901274d4a646050d43faa833c 1423 ppl_0.11-2.dsc
 f5cbfc2423d848d951e9cf55fb75d862c32ad1d856943be61b436460e3cb8755 303855 ppl_0.11-2.debian.tar.gz
 decdc453bafb323d13ca70d871022401ef8db0d0d117373b24c855675517fffc 510872 libppl9_0.11-2_amd64.deb
 5bfb9205e63e40f23bae7b1d875f4e2ea1c771386d0620dd1db1454ae3f88a26 3754656 libppl0.11-dev_0.11-2_amd64.deb
 2c5fc27768933d0f0b328dd1000ab277289a2a7952c18c56274c770ea13d1dbf 1826924 libppl-c4_0.11-2_amd64.deb
 3ff637475094d71f76464d12e47b8f69a09a9573737f26e4aa9a5157f1acfe46 21830 libpwl5_0.11-2_amd64.deb
 f06e102177a6d97aa29efdd987ca1d0f53f6126e85a4ad8a4acfee17ace6b043 30716 libpwl-dev_0.11-2_amd64.deb
 ee6ff6280c3c9666647cfc82cb9884156e902d724711b667e73e935bd7ce6cb0 8598318 libppl-swi_0.11-2_amd64.deb
 ecfdbc6fbf4ac65a4f8f318ef23bab6961f637f024fa473546cf8420acb0e36b 4108934 libppl-doc_0.11-2_all.deb
Files: 
 639fa53f14ca87c013d52f4b8cbc71a1 1423 libs optional ppl_0.11-2.dsc
 4ad42f3f164e9f9087c8c81e54e567c3 303855 libs optional ppl_0.11-2.debian.tar.gz
 d475fd23a1699dec5e0e43da86e9a398 510872 libs optional libppl9_0.11-2_amd64.deb
 9bed40cc4ffa7f00a090ff96936f1c87 3754656 libdevel optional libppl0.11-dev_0.11-2_amd64.deb
 5defd778fb0876b5e7f9f22493421af6 1826924 libs optional libppl-c4_0.11-2_amd64.deb
 956aa9ea4fd6ade8db1eb1ab9f72eb5a 21830 libs optional libpwl5_0.11-2_amd64.deb
 c8cfe5009efa8dae72efaa2b90b70652 30716 libdevel optional libpwl-dev_0.11-2_amd64.deb
 88cfb06cd271072c55e0d1f2b4bdee32 8598318 libs optional libppl-swi_0.11-2_amd64.deb
 d88fff0b91e43bc2e4c35c6217e5a852 4108934 doc optional libppl-doc_0.11-2_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkzXrjoACgkQvx6dH3bVKsSqygCgxovETn4xvWAHFnryoqflVYhW
1mgAoKzKWJJKX3B5z+D+Xvh+o+Ay4qvU
=O5Er
-----END PGP SIGNATURE-----


Accepted:
libppl-c4_0.11-2_amd64.deb
  to main/p/ppl/libppl-c4_0.11-2_amd64.deb
libppl-doc_0.11-2_all.deb
  to main/p/ppl/libppl-doc_0.11-2_all.deb
libppl-swi_0.11-2_amd64.deb
  to main/p/ppl/libppl-swi_0.11-2_amd64.deb
libppl0.11-dev_0.11-2_amd64.deb
  to main/p/ppl/libppl0.11-dev_0.11-2_amd64.deb
libppl9_0.11-2_amd64.deb
  to main/p/ppl/libppl9_0.11-2_amd64.deb
libpwl-dev_0.11-2_amd64.deb
  to main/p/ppl/libpwl-dev_0.11-2_amd64.deb
libpwl5_0.11-2_amd64.deb
  to main/p/ppl/libpwl5_0.11-2_amd64.deb
ppl_0.11-2.debian.tar.gz
  to main/p/ppl/ppl_0.11-2.debian.tar.gz
ppl_0.11-2.dsc
  to main/p/ppl/ppl_0.11-2.dsc


Reply to: