Accepted agda-stdlib 0.7-1 (source all)
-----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-----