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

Accepted ppl 0.11.2-2 (source all amd64)



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

Format: 1.8
Date: Tue, 08 Mar 2011 01:14:00 +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-2
Distribution: unstable
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-2) unstable; urgency=low
 .
   * Build-depends libgmp-dev instead of libgmp3-dev.
Checksums-Sha1: 
 0fb160104c712a757352a446e301482e245ed731 1328 ppl_0.11.2-2.dsc
 01d3105babbc94aaaa1cdd650e26b2eb4dc8deb7 304316 ppl_0.11.2-2.debian.tar.gz
 36a798c3b9ad12fe6154a81fe4870ca3389c5c57 543780 libppl9_0.11.2-2_amd64.deb
 2958ba979aaf1e0eb9815d2a95daa0727600b064 3491822 libppl0.11-dev_0.11.2-2_amd64.deb
 df39e898f87accd8b4cfc729e8e70e680e76d1f6 1505376 libppl-c4_0.11.2-2_amd64.deb
 3a4f8a2cf3b5c8a670444d7f9120640deffc2ec4 29912 libpwl5_0.11.2-2_amd64.deb
 ad6d1088347be59b12a97b456a62d5b531b2c637 39254 libpwl-dev_0.11.2-2_amd64.deb
 3eebd94c237c8d5c8ea84a9cc19e58c1aea11d54 7120608 libppl-swi_0.11.2-2_amd64.deb
 f563c642072ad651cd228301416cf28b23ac8787 4439762 libppl-doc_0.11.2-2_all.deb
Checksums-Sha256: 
 06b38683836743b1102d07bfbee7624c26ed990d63268f559bc66e98b2faae05 1328 ppl_0.11.2-2.dsc
 7a2359d415b1a7f64d67847db8c0e9a49772fed769c04ccb1ce86ac06d5c2d32 304316 ppl_0.11.2-2.debian.tar.gz
 342875a9f5634f13f872f2c36a59a1da040a71ac1dcd6a40ee1a4355a266503f 543780 libppl9_0.11.2-2_amd64.deb
 1f76c580b5341bcfacf2b1dae702aa52d8386d19bda88cf3c719536b08699935 3491822 libppl0.11-dev_0.11.2-2_amd64.deb
 32c88bc4daf406b73923ec6de7a8342014dee6b2cd4300f11fdeff0b7df0c2c4 1505376 libppl-c4_0.11.2-2_amd64.deb
 76a93c2d001788ae759b4fee1b441b974b4c14125e8d7c619c792d02727c772b 29912 libpwl5_0.11.2-2_amd64.deb
 871a03b259b26b4a59e220c68e450320a3870ef1f475e2b6704d8a4501af9281 39254 libpwl-dev_0.11.2-2_amd64.deb
 848405b3d7db8ee731cdfd041ac75f3ccd2014cc203793c240f3483d4b3afba9 7120608 libppl-swi_0.11.2-2_amd64.deb
 7e145cbe58cfa7beba6a6c40c64bb81288d5d72d248a0ee1e640cc35e7688bbe 4439762 libppl-doc_0.11.2-2_all.deb
Files: 
 0c4f245ca69fa1b3465764ba7e499dc9 1328 libs optional ppl_0.11.2-2.dsc
 78f6567ac1fa172a09ac79ce1afde073 304316 libs optional ppl_0.11.2-2.debian.tar.gz
 e631d2820438a6f026d6ecfd80f0baf6 543780 libs optional libppl9_0.11.2-2_amd64.deb
 7fa8263221d0128e81bcc98f69f46dd8 3491822 libdevel optional libppl0.11-dev_0.11.2-2_amd64.deb
 39c75cfbaa00ee8c596e87237b20b593 1505376 libs optional libppl-c4_0.11.2-2_amd64.deb
 16842a7ee4167bc3b586acd32859c325 29912 libs optional libpwl5_0.11.2-2_amd64.deb
 4dc55ee79e5470c2f6e577aae3649aa0 39254 libdevel optional libpwl-dev_0.11.2-2_amd64.deb
 1a6c8ea0962ab4918a2dad7a598edde6 7120608 libs optional libppl-swi_0.11.2-2_amd64.deb
 81e4d5a98db659285c3d40057dc7bff7 4439762 doc optional libppl-doc_0.11.2-2_all.deb

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

iEYEARECAAYFAk12QjkACgkQvx6dH3bVKsQo6ACfX9xZ208vUSq3P25dpAOCKn3S
sB4An0rRteFViWSbkX7+jzIGnVdTNCf4
=Q3na
-----END PGP SIGNATURE-----


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


Reply to: