-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: ppl Binary: libppl13v5, libppl-dev, ppl-dev, libppl-c4, libppl-doc, libppl-swi Architecture: any all Version: 1:1.1-7 Maintainer: Michael Tautschnig <[email protected]> Homepage: http://www.cs.unipr.it/ppl/ Standards-Version: 3.9.6 Build-Depends: debhelper (>= 6.0.7~), dh-autoreconf, libgmp-dev, swi-prolog [!hurd-i386], chrpath, libncurses5-dev, libncursesw5-dev Build-Depends-Indep: doxygen-latex, graphviz, poppler-utils, ghostscript, texlive-math-extra Package-List: libppl-c4 deb libs optional arch=any libppl-dev deb libdevel optional arch=any libppl-doc deb doc optional arch=all libppl-swi deb libs optional arch=any libppl13v5 deb libs optional arch=any ppl-dev deb devel optional arch=any Checksums-Sha1: d24a9e95c22459b396820109c9bc195f35e60640 14734820 ppl_1.1.orig.tar.xz d898f2520fd517e1f10ec9ee5479d3ef016eb68a 11800 ppl_1.1-7.debian.tar.xz Checksums-Sha256: c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 14734820 ppl_1.1.orig.tar.xz 62aaa3fb14f673e711b7360d675e83837a9b923d89d621f5df19162ffe920a5c 11800 ppl_1.1-7.debian.tar.xz Files: 82617a9c4e08606111ed9d2dc37ececa 14734820 ppl_1.1.orig.tar.xz 914a9b570c4c5648416c74026e600a45 11800 ppl_1.1-7.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJWAHwHAAoJEDu/g5M27KkxSSsP/RVIxVM7fWO+zc1oOsTiUuz7 0vnHrC7BrVG9Fd6ki7PSE85kJzrqPUB4riPET786ZwHXoPWtfECydcs2PdrsJ9Ej IwIx25HEXGJa600M1zSeqtuP9gt4OeeGqyPiSvr+4sm7Faww0mJtTlFPeLkHXM95 53gKh3MjKsID2SgJ+Rq/YeE4zZtvMUfos8+3aKPXSvF304+1n8+EZej6zODRhimK MIr8As5PKgydtR5um7VEP4a+QehtMq3F9GaSGEqzZ5MXWr4GFSGH0ddygy+sk5ft sGXAku3GBAFZTHPdi9cw6+b/WSCowbgVYtK0m7wavhKMorD5hjm0ZMa7iD5yIwOb SzW+4ZosrdPBcNiMMw9QnkTvahy+wWHwccNjGSS+5yqspo8EFpdwnwdQEbRxRPhm XFbWUXznlDSuWvXSdxdX6fHt7gzsVRioh8lSYqYAAZCDQgwy/mX6l1SaoHmIN0uY tk0MGa3ok9PfGIYKOx5uptVpc05IeMIMJUue5I97gH4zTBST5HeksFBkFnn+PgmX OKjOLKiJHmE6KbqmHbeRBrtAb6GYd0ZEjfIRi63u0145EAXoDklzh215r+RqlfpQ xr8ELVsQh0P4ZZwLK6bbccOvPWj17elg3T/LC5Dw9D7ahkuwq9trvwnkVYUmEC// t26XT5S1XpCSkLT9wpak =IHvy -----END PGP SIGNATURE----- Changes: ppl (1:1.1-7) unstable; urgency=medium * Rename C++ library package for the libstdc++ v5 transition. Thanks Simon McVittie for providing the necessary patch and chasing all this up. Closes: #799641. * Run gzip with -n to enable reproducible builds -- Michael Tautschnig <[email protected]> Mon, 21 Sep 2015 12:27:25 +0100
