Accepted ppl 0.10.2-9 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 26 Oct 2010 14:18:12 +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-9
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: 601445
Changes:
ppl (0.10.2-9) unstable; urgency=low
.
* m68k hasn't fully caught up yet, don't build PPL Prolog interface on m68k.
Closes: #601445.
* Re-enabled Prolog interface on kfreebsd-* as swi-prolog is now available.
Checksums-Sha1:
4464de9734ca341687ec1c55937ead202733957e 1466 ppl_0.10.2-9.dsc
324c986c1cd5a1369de1512922752cc9dac48710 318088 ppl_0.10.2-9.debian.tar.gz
0bfa6b6ba392bd0263af850f99f348fea0c102d0 374050 libppl7_0.10.2-9_amd64.deb
ea83e5e33589a27b8771b8c11eb512f2f5a10f25 2851188 libppl0.10-dev_0.10.2-9_amd64.deb
501458e623123fb15355ed51f56307dfe520589e 1288040 libppl-c2_0.10.2-9_amd64.deb
dc0f5c2298e0cb3b29e71ad6cc477fb1979948de 19592 libpwl4_0.10.2-9_amd64.deb
bc155a4b2552955ea1dfd4de491b5ad55d83471d 26414 libpwl-dev_0.10.2-9_amd64.deb
bf22e5072f9e8781a29ed4f6c0c59c59a5e7dc5a 6098814 libppl-swi_0.10.2-9_amd64.deb
ac6b4bce5e8e1e6bbcce9e0cf1c140f0675ddbb9 3621572 libppl-doc_0.10.2-9_all.deb
Checksums-Sha256:
ac1b4ad6c85951a72cc58c04f84ec39fe556ada7db10c8ece5be154f7559a4a7 1466 ppl_0.10.2-9.dsc
7ffba207110e1f7d4a212856f199092dc2272582e9443a5e0552cdbf5a9fc595 318088 ppl_0.10.2-9.debian.tar.gz
3bc5129847cafc2343e917446ebbe26311c7acad13afcd249baac461d88d7d2a 374050 libppl7_0.10.2-9_amd64.deb
725734c980964b7a2f322ab229f1e23b2f29ebfb10e6ce597e593ce58772a19b 2851188 libppl0.10-dev_0.10.2-9_amd64.deb
acb3a3a302957a39ea6d3e623919e92e7f240667072fbb084227c8d99899cc55 1288040 libppl-c2_0.10.2-9_amd64.deb
8c236ebd485629b2dd5bb228e811e47c99b05c406000dde9e4695ac0fad3bcea 19592 libpwl4_0.10.2-9_amd64.deb
1e65cb12af5c4a5cb8cc363bf7ce91a2433e6b2cf3b8786a76153417e211da82 26414 libpwl-dev_0.10.2-9_amd64.deb
ce3cc4a0a984d4cd3e52eeb09b97788224e97e91a3a49ef39a7a18d7f745bac1 6098814 libppl-swi_0.10.2-9_amd64.deb
a82f15c64e1eb4f457dd30fbe1c60b6919216817c3f56774aa79897276248b70 3621572 libppl-doc_0.10.2-9_all.deb
Files:
004333b792defe926ae7c322d11a8679 1466 libs optional ppl_0.10.2-9.dsc
174b73fc83f7bcbce063506e53182b77 318088 libs optional ppl_0.10.2-9.debian.tar.gz
8f5bd0d3894b7eaf79183f4b871bb42f 374050 libs optional libppl7_0.10.2-9_amd64.deb
0a42dd1cecac38698c1cb217d47276f6 2851188 libdevel optional libppl0.10-dev_0.10.2-9_amd64.deb
64d986d5410020dc63b1b4169808d4f2 1288040 libs optional libppl-c2_0.10.2-9_amd64.deb
2b321ef97f3459d60a4e9da18ee0bcf9 19592 libs optional libpwl4_0.10.2-9_amd64.deb
5e948e659a784e20fba2cb3910cfb1f9 26414 libdevel optional libpwl-dev_0.10.2-9_amd64.deb
085d2f80de821bb2209c4352ce0f0f8c 6098814 libs optional libppl-swi_0.10.2-9_amd64.deb
0fd5bf59b7f725d53eeda20605159d3e 3621572 doc optional libppl-doc_0.10.2-9_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkzHFY8ACgkQvx6dH3bVKsTq0ACg6y14Lr5LU0kntLTzaiVZlDA2
In8An19hSrTC3TD1c135fZ47WFVbFOh5
=w8nc
-----END PGP SIGNATURE-----
Accepted:
libppl-c2_0.10.2-9_amd64.deb
to main/p/ppl/libppl-c2_0.10.2-9_amd64.deb
libppl-doc_0.10.2-9_all.deb
to main/p/ppl/libppl-doc_0.10.2-9_all.deb
libppl-swi_0.10.2-9_amd64.deb
to main/p/ppl/libppl-swi_0.10.2-9_amd64.deb
libppl0.10-dev_0.10.2-9_amd64.deb
to main/p/ppl/libppl0.10-dev_0.10.2-9_amd64.deb
libppl7_0.10.2-9_amd64.deb
to main/p/ppl/libppl7_0.10.2-9_amd64.deb
libpwl-dev_0.10.2-9_amd64.deb
to main/p/ppl/libpwl-dev_0.10.2-9_amd64.deb
libpwl4_0.10.2-9_amd64.deb
to main/p/ppl/libpwl4_0.10.2-9_amd64.deb
ppl_0.10.2-9.debian.tar.gz
to main/p/ppl/ppl_0.10.2-9.debian.tar.gz
ppl_0.10.2-9.dsc
to main/p/ppl/ppl_0.10.2-9.dsc
Reply to: