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

Accepted ppl 0.10.2-7 (source all amd64)



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

Format: 1.8
Date: Sun, 01 Aug 2010 12:22:05 +0200
Source: ppl
Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.10.2-7
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 libppl-c2  - Parma Polyhedra Library (C interface)
 libppl-doc - Parma Polyhedra Library: Documentation
 libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
 libppl0.10-dev - Parma Polyhedra Library (development)
 libppl7    - Parma Polyhedra Library (runtime library)
 libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
 libpwl4    - Parma Watchdog Library (Watchdog timers - runtime library)
Closes: 591155
Changes: 
 ppl (0.10.2-7) unstable; urgency=low
 .
   * Drop xpdf-utils from build depends to fix FTBFS. Closes: #591155.
   * Bumped Standars-Version to 3.9.1 (no changes).
   * Specifically require automake1.10 as we modify some Makefile.am.
   * swi-prolog now ships executable linker as swipl-ld.
Checksums-Sha1: 
 d1941a3609e71bb970a32cd321336b3ead66809d 1473 ppl_0.10.2-7.dsc
 859e6aa9bf527bb779103e54ba80eeaeecd35d98 456670 ppl_0.10.2-7.debian.tar.gz
 f9f73de7e698a2e6c25f156b4e7536235154a927 373864 libppl7_0.10.2-7_amd64.deb
 5e7571f290029b3aac437fd67618f2c4d1cc3258 2851742 libppl0.10-dev_0.10.2-7_amd64.deb
 88389f6b464ad127f3974fbda63a906cbc5f04e8 1288036 libppl-c2_0.10.2-7_amd64.deb
 9730673174dd608156e13e69c099809787ea0762 19408 libpwl4_0.10.2-7_amd64.deb
 ad9f3c8bee35b2e7399b42f7126bc1cfd4381c62 26280 libpwl-dev_0.10.2-7_amd64.deb
 39e1f463295c6c551ef5f6188005d1c6a78264e3 6079836 libppl-swi_0.10.2-7_amd64.deb
 b7aee72811d562008acadaecd32e0e2cfc1b5d0c 3621392 libppl-doc_0.10.2-7_all.deb
Checksums-Sha256: 
 e362c891ae74790432a69ec452ce398262934e67150db39adde0f92c4188c19c 1473 ppl_0.10.2-7.dsc
 6df506e3c808776155fe5ef6a79e98df287b5bab271f0d8ce9fa3a040966b404 456670 ppl_0.10.2-7.debian.tar.gz
 63cc2403c647d13cb0158bebc03ca89b64e4e1b8e993651e8ffd944b0064fc14 373864 libppl7_0.10.2-7_amd64.deb
 ff8e0717af8fa6e4ad3de8ef5ad96db1c4c8b5c30a7d33bea11fb2c7ddc745d4 2851742 libppl0.10-dev_0.10.2-7_amd64.deb
 8a5bb4a70ec423e28647a4a5a33dfbae44823e1dbea9b449c74b3fc6d22aa89d 1288036 libppl-c2_0.10.2-7_amd64.deb
 df8ae72a1cbf166751fb89e372cd9b27311f3e3569ee32b2c334a2e5a3f937a3 19408 libpwl4_0.10.2-7_amd64.deb
 4c4a6157f7687cbd049e8945a0a32e974b7ce5634d670641e26cadbb6dc2614b 26280 libpwl-dev_0.10.2-7_amd64.deb
 b3bf9eb3a5851c0a3915290709388c09bb53a7e6fe2b8c75fa305e03fd1f20c1 6079836 libppl-swi_0.10.2-7_amd64.deb
 741baf7e4bc5ca9214a43c38f5338b811718fa9a14cf8d79128f852d1a3bdcfd 3621392 libppl-doc_0.10.2-7_all.deb
Files: 
 fd25d2998035ff5f45628580932cb10a 1473 libs optional ppl_0.10.2-7.dsc
 19c84597f9d9dd5c956561e0ca819ee4 456670 libs optional ppl_0.10.2-7.debian.tar.gz
 f9e91ae38a383cd99e1992886af884ef 373864 libs optional libppl7_0.10.2-7_amd64.deb
 1f862ffe9d86dc27cfc87b54afada162 2851742 libdevel optional libppl0.10-dev_0.10.2-7_amd64.deb
 62d875a4729e38c7a942a7b077fb66d7 1288036 libs optional libppl-c2_0.10.2-7_amd64.deb
 9c78598dee8e82d713e3a02bff2e7e2d 19408 libs optional libpwl4_0.10.2-7_amd64.deb
 050c2c07f950b951031d900f7c80e417 26280 libdevel optional libpwl-dev_0.10.2-7_amd64.deb
 aec1753829b9d916aba1b96ae8a3ef36 6079836 libs optional libppl-swi_0.10.2-7_amd64.deb
 6d1cbb1c52c2ab9f6d2fe0e4a7f427d5 3621392 doc optional libppl-doc_0.10.2-7_all.deb

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

iEYEARECAAYFAkxVq0cACgkQvx6dH3bVKsSwzgCfV5TbEtNtaj8u1H4OLOo7vcT0
CC8AoLl9jAxGsydw8Oz7MIrsVe451cPX
=FUT8
-----END PGP SIGNATURE-----


Accepted:
libppl-c2_0.10.2-7_amd64.deb
  to main/p/ppl/libppl-c2_0.10.2-7_amd64.deb
libppl-doc_0.10.2-7_all.deb
  to main/p/ppl/libppl-doc_0.10.2-7_all.deb
libppl-swi_0.10.2-7_amd64.deb
  to main/p/ppl/libppl-swi_0.10.2-7_amd64.deb
libppl0.10-dev_0.10.2-7_amd64.deb
  to main/p/ppl/libppl0.10-dev_0.10.2-7_amd64.deb
libppl7_0.10.2-7_amd64.deb
  to main/p/ppl/libppl7_0.10.2-7_amd64.deb
libpwl-dev_0.10.2-7_amd64.deb
  to main/p/ppl/libpwl-dev_0.10.2-7_amd64.deb
libpwl4_0.10.2-7_amd64.deb
  to main/p/ppl/libpwl4_0.10.2-7_amd64.deb
ppl_0.10.2-7.debian.tar.gz
  to main/p/ppl/ppl_0.10.2-7.debian.tar.gz
ppl_0.10.2-7.dsc
  to main/p/ppl/ppl_0.10.2-7.dsc


Reply to: