-----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-...@lists.debian.org>
Changed-By: Michael Tautschnig <m...@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


-- 
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/e1pzqrl-0000jd...@franck.debian.org

Reply via email to