Accepted agda-stdlib 0.11-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 04 Jan 2016 13:01:15 +0000
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.11-1
Distribution: unstable
Urgency: medium
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.11-1) unstable; urgency=medium
.
* [22d7b46] Imported Upstream version 0.11
* [cb56887] Bump relationships with agda to ≥ 2.4.2.4
Checksums-Sha1:
fbc44dc5ae2019405d33ca729fdac90bc067127a 2105 agda-stdlib_0.11-1.dsc
ee2a842a19577fcc5f8d42a2bf91331782387215 253251 agda-stdlib_0.11.orig.tar.gz
860a1ae65d1cbcfaaeb9bda2180529efed484c4b 4600 agda-stdlib_0.11-1.debian.tar.xz
Checksums-Sha256:
c9ed653138559aa46af2912ccf044076e999f06dfbd057eda35a2f5f6099c1cb 2105 agda-stdlib_0.11-1.dsc
7982b119435dcac451d870a94c1db73766105b5572e4725eb0ce1f0c0ebf0377 253251 agda-stdlib_0.11.orig.tar.gz
b3eb1565e379a148213accbd8ec8867734e3c0922180467344c8eb19c0c93cae 4600 agda-stdlib_0.11-1.debian.tar.xz
Files:
259e0e6816e4c8b0ac98e9e4843c8e21 2105 libs extra agda-stdlib_0.11-1.dsc
beceb0d239ce694668472e6f3f1dfeff 253251 libs extra agda-stdlib_0.11.orig.tar.gz
b7a5ea09a7b45ddb8dd57a09a49a4b5a 4600 libs extra agda-stdlib_0.11-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJWim0mAAoJEONS1cUcUEHUYs0P/3R8BMXNy3p3SgKMlh6afXbj
yRgSntKDIttPovY1aNNFSs/zrkDvWZxpronyEw87S09H1laEzAqsQ8PJEZl3oQJM
KMjZOBBe16ub2QfYSD0XopQWhTLemwhfnRyg7xFXvQ1qCzJRcExQCDVFvwNPRGLY
jyr1ELvy4WUFCesLYABkOtTEkG/IPAAhKkMKAue5f3Wwd/oKIlOXZnz5Vm+kWzOC
gHNptdao7fd9hORLJfDcav9pnUurbPPB+mBh4x2cVRru8boLaC/k2IZ7EHXgppV7
zvPH84CfbXI5YetwSbI+8yZCZlzFp/4hzvRNDQzRozIRl3fQ5v1tZ6sJWbOg0sXt
c3DxeDTFMGfqGl9nICK8SLaOE+fv5wOi2uRQYDxWN4zwSrjshoiGZvdjDKcRT3++
+mc4nWHiX5C04CovO9TfcZAx4/yNMdr/QQOThUoT7PqKBVT99wYfCyVenjBMwypC
z5WyTISS1t3C7SwcWLEqe17cot2n1Mk71coxLrmtZu4WloVzAmRroKuOF27uAQC+
fUcpofAQ+WHq4LcIHI9aJcSvz3fuF7pXDwfOYhqEigJEqc7LYAsK+snkbCpbuI0P
pukCSTuuwaElnTFrT4g7gPlR3b7k/mqoiFiA+xetm5D3OtQnkVs4FtbfGC0OMyUx
qadMs5HwJiqw0+gbplo6
=aT0t
-----END PGP SIGNATURE-----