-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 14 Mar 2011 19:57:06 +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-3 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) Closes: 618148 Changes: ppl (0.11.2-3) unstable; urgency=low . * Build-depends-indep: re-added texlive-math-extra. Closes: #618148. Checksums-Sha1: 354817177d7720c2107b4683f72be691637b2be8 1348 ppl_0.11.2-3.dsc b3093d289322f85bbce38357fb47cecac40819d7 304404 ppl_0.11.2-3.debian.tar.gz 3e16a9a7b28d7ce80f73a80b9bd51b5dadfa7614 543952 libppl9_0.11.2-3_amd64.deb bb7b84fddee7b4d0705901ba0f37bc7b63c7c7fc 3491408 libppl0.11-dev_0.11.2-3_amd64.deb f22523da4e758585093070048dd255ae00bb99fb 1505308 libppl-c4_0.11.2-3_amd64.deb 064306c924d94ba802d42e33b2ddddc8115ba93d 29948 libpwl5_0.11.2-3_amd64.deb c049a5d23889765970b13b6b1f98ddf3e354871e 39292 libpwl-dev_0.11.2-3_amd64.deb 449f6a47dc76621e62e78bdfc94bad74ea3b917e 7128322 libppl-swi_0.11.2-3_amd64.deb 79accfee9aace80129b171f8e635000bf0ed2d79 4440316 libppl-doc_0.11.2-3_all.deb Checksums-Sha256: bfca4d30295a97d632c5bd5a31c0d03dcb3b423ef90bd06da438795e4e8c76ce 1348 ppl_0.11.2-3.dsc e95a9fbdc5cd5b4f602b9f55b2067ec7ecdac66429bb316fd14359d9609e8e83 304404 ppl_0.11.2-3.debian.tar.gz 7ea135dbc8a5f25f884659bcb6a52705ac846ff76687a09ffc73839d90941d2d 543952 libppl9_0.11.2-3_amd64.deb 5a2256fef68f0e3d2af99fe4135247b0dbb9f1b44db42137020008d2d417c2e9 3491408 libppl0.11-dev_0.11.2-3_amd64.deb 56911104a2dffe9a4a3f2aab4dffdfd6a42438084164273009f636fe31293933 1505308 libppl-c4_0.11.2-3_amd64.deb c82af4399b5e68863861d47eaed19cbdd64d47a96b59b70c9d29ca7f82a7a32d 29948 libpwl5_0.11.2-3_amd64.deb d27fb30ffb16a5317cb742b80de1dcbd9f4fae5e80dec09e2ea7fcac4cf441c4 39292 libpwl-dev_0.11.2-3_amd64.deb 0d8406181892101a63e85c344897374f6efa2b68efe4d513e82f04263335e36c 7128322 libppl-swi_0.11.2-3_amd64.deb 7a1c45521e5877757522e9af39ee1b3cb7bf3346a12d33d1f10ffb52ffd3956c 4440316 libppl-doc_0.11.2-3_all.deb Files: 675664b2752e547eebb2c9c3cb3f3a5c 1348 libs optional ppl_0.11.2-3.dsc 7a92765125c11e172cdefd03e2451646 304404 libs optional ppl_0.11.2-3.debian.tar.gz a21ed3ee32831d677f8aacf161d1d4fc 543952 libs optional libppl9_0.11.2-3_amd64.deb 86d46bb2c068fd0631305a292ec8b2b2 3491408 libdevel optional libppl0.11-dev_0.11.2-3_amd64.deb ac14e153dca9c55a60bacff30bc8685b 1505308 libs optional libppl-c4_0.11.2-3_amd64.deb c21a045883c2c9e7dade395d70df52a2 29948 libs optional libpwl5_0.11.2-3_amd64.deb 5dbc3abba59395329dfab77b63ba4f35 39292 libdevel optional libpwl-dev_0.11.2-3_amd64.deb 7e5a92234c66d64bb57b5f3509a4fddc 7128322 libs optional libppl-swi_0.11.2-3_amd64.deb 5057c263e75b2faeba151cb53b194805 4440316 doc optional libppl-doc_0.11.2-3_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk1/KLwACgkQvx6dH3bVKsTi1QCbBxo33heqMnYHXommWXlnq0Vr OakAoKhg6DDLIMAJ5n+fO0Pv6X2OGVSK =G0t+ -----END PGP SIGNATURE----- Accepted: libppl-c4_0.11.2-3_amd64.deb to main/p/ppl/libppl-c4_0.11.2-3_amd64.deb libppl-doc_0.11.2-3_all.deb to main/p/ppl/libppl-doc_0.11.2-3_all.deb libppl-swi_0.11.2-3_amd64.deb to main/p/ppl/libppl-swi_0.11.2-3_amd64.deb libppl0.11-dev_0.11.2-3_amd64.deb to main/p/ppl/libppl0.11-dev_0.11.2-3_amd64.deb libppl9_0.11.2-3_amd64.deb to main/p/ppl/libppl9_0.11.2-3_amd64.deb libpwl-dev_0.11.2-3_amd64.deb to main/p/ppl/libpwl-dev_0.11.2-3_amd64.deb libpwl5_0.11.2-3_amd64.deb to main/p/ppl/libpwl5_0.11.2-3_amd64.deb ppl_0.11.2-3.debian.tar.gz to main/p/ppl/ppl_0.11.2-3.debian.tar.gz ppl_0.11.2-3.dsc to main/p/ppl/ppl_0.11.2-3.dsc
