-----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-----
