-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 10 Apr 2013 10:30:20 +0100 Source: agda-stdlib Binary: agda-stdlib agda-stdlib-doc Architecture: source all Version: 0.7-1 Distribution: experimental Urgency: low Maintainer: Iain Lane <laney@debian.org> Changed-By: Iain Lane <laney@debian.org> Description: agda-stdlib - standard library for Agda agda-stdlib-doc - standard library for Agda — documentation Changes: agda-stdlib (0.7-1) experimental; urgency=low . * [6d52289] Imported Upstream version 0.7 * [54104d0] Update Depends and Build-Depends for this version, compatible with Agda 2.3.2 * [b3ddce4] No need for the .install file to be executable (thanks lintian) * [a9a6cb7] Standards-Version → 3.9.4, no changes required Checksums-Sha1: 979c52c90dafffde9c763a5939bab4d05618e00e 2077 agda-stdlib_0.7-1.dsc 9496bd8898d3a60ce3d6850fd11b10e16ed8df61 226400 agda-stdlib_0.7.orig.tar.gz cd22700485d28e9c83bd85fee50b1078a7d0788c 4431 agda-stdlib_0.7-1.debian.tar.gz 03564a14faac53551743c1b649297182b80aa506 18100280 agda-stdlib_0.7-1_all.deb 27e77dc4cfcb1e42dd03458f2c72dd53c58c8e6f 1739036 agda-stdlib-doc_0.7-1_all.deb Checksums-Sha256: 0d0e17588352cc2d5f63fe2e90cbe68a5f47e52f844fa88a90b3c612b2713cf9 2077 agda-stdlib_0.7-1.dsc 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa 226400 agda-stdlib_0.7.orig.tar.gz eb98fc6eee622afed455094c710294ec0332400c7006e73914327f1097093524 4431 agda-stdlib_0.7-1.debian.tar.gz 829edc7966df862ed9fd97ca9d183fd15fba5dfff72dfc3c42bdb0f1e708998f 18100280 agda-stdlib_0.7-1_all.deb a73366c716699f665613ca5401670dfc785f0f7f3d0490866107e495f18834bc 1739036 agda-stdlib-doc_0.7-1_all.deb Files: aab99fa251f1597693ddb291158896ee 2077 libs extra agda-stdlib_0.7-1.dsc ff390e42876caf97d4e96e0d6fb00b01 226400 libs extra agda-stdlib_0.7.orig.tar.gz 9e8683165e883be2c63155a99bc52c7d 4431 libs extra agda-stdlib_0.7-1.debian.tar.gz f72706d6b5e6c07f44a8bbdea693e916 18100280 libs extra agda-stdlib_0.7-1_all.deb ede47211f82ca8fd7e1a7165592fa772 1739036 doc extra agda-stdlib-doc_0.7-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRZUpmAAoJEONS1cUcUEHUmMIQAJBV5BLKjVkQ+XH3VjbTEWFp +k+A/2ctejiwzMe+DMRR2fI7Tnlj1kzxzffuGoLhqA1360cV/LiwQz6zR0e+uX2d ZLf/8w4UUGetrkGq1TZWLDfMZucj5z7TtC8vWfSAYjam1L43r+M5Ot1yvXZDrX/g GWnDW+ypqzlcL2IRR6iPjS6usYe1tp+aBfCOx+Zfel3zk5vhGeC/S3F2PaBdIKY3 q3SGXZOYCA/zHXtBhkjyxQMlSQCAhpWPhDMLMjF15KP4Pri1bGFfg4HMwYcQEKYg SFFJ5QtQ7qNY2fExQzeRou5M6X613Rl+xIci6nE6eZ5mXr7u4/eYZKHxF0dzksU+ jlU3lsFx6M/R1ebKuup7LgetwBp4AO2rdYjFofbbZh2pm05AmYUG13QmULpw6sC3 nKCjD/pz30qBlxv6Ud/7u20VYyxSZZYNSDbJiOrLYOfOjvKDCkGuI58+vQ15TeB0 Vm3Ke2jQGS9lMZtK1FXxy0GeYQin4jiTrsaGcwVfkSmeJsQ4DEuO6KxPRgxxY24N Cc5UHjaEOjSA1imAGAmfCQ7t+LNbJWUPfU2cpbiSufK6kKb7F9YAgTidyHtLSkJu 8Zgg/hP8bMeQh4o2xVbK8jDETsIFSucnSExPEwpWw61a2L5Fx4honmmwqFapSbxw HkWZW+Zq5+/4SqETAWVw =f7/R -----END PGP SIGNATURE-----