Accepted agda-stdlib 0.8-2 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 12 Aug 2014 10:22:32 +0100
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source all
Version: 0.8-2
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.8-2) unstable; urgency=medium
.
* [f9da3dc] Build-Depend on FileManip to fix GenerateEverything.hs
generation
Checksums-Sha1:
968a751942048731d3253e71d542db448829cab6 2094 agda-stdlib_0.8-2.dsc
5a11e403ad0084c445061b605896d4078ff66523 4524 agda-stdlib_0.8-2.debian.tar.xz
2ed0d8bca7270a633adcf94ce7ac43dd29daa34d 23527642 agda-stdlib_0.8-2_all.deb
b525962f2e00f6b590fbfcd52fbb50acf737ae72 1234684 agda-stdlib-doc_0.8-2_all.deb
Checksums-Sha256:
24e77d010594abd95fa1d6c70c8ae349c0c2410c1b5397b1f748d357dc1923d6 2094 agda-stdlib_0.8-2.dsc
02627523178ebcd39194a8c763b758d56b698aa213f40cf165d11df03e7184bf 4524 agda-stdlib_0.8-2.debian.tar.xz
ef03d29e9c2de5564d142cecf2b1975cfa960f3adf0391947a320e5c78592f04 23527642 agda-stdlib_0.8-2_all.deb
374cab0cebfb978221d53e93d80e1be69a21f5f66b7ddce69b08f06a0a0f4c0f 1234684 agda-stdlib-doc_0.8-2_all.deb
Files:
4e272f83e6ca461c2918efb28b6092f9 23527642 libs extra agda-stdlib_0.8-2_all.deb
d2ce07c7402d71f287b828202051e648 1234684 doc extra agda-stdlib-doc_0.8-2_all.deb
bcebafc5fc2b9afa4fd370020f36660d 2094 libs extra agda-stdlib_0.8-2.dsc
21716a162a788b7b78ec98747b0edec9 4524 libs extra agda-stdlib_0.8-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJT6eD0AAoJEONS1cUcUEHU+ZEQAKxAu1zm6Xl2x0/Y+EEFH77e
ueRh66dWgp8sNNS8tsEa9rZkkC4q+uhsPgDvpg3ptenyeGGtSJMUKk2Bm7JmvVMu
NTXp2SKPGGQwlwhO2+vxbt4oPXc/4acvIYH298fDFfAu+JijM59XaV5hpkDGV5i6
afMOkMbOqjiWloYzTZ2fgnlUJs1fpXTfI81GwVsimzuZnnXVcvTXSRauJSVMNMSw
wY7bPW/S2OFRyuXb32qhhXe96utyAhRdAb7RL+3PT1f6+/popeiAl3MBAEKkQi0l
BoWtzARAOQgup0k4RLwzENaZ4BMdNhxSB4EHYvW9oghLpOKfipKjt31mcMAGljGK
mRYSxh8Ia7WR4qIQiDWZ4mFHML0aKaJ5d06g3+kWzhaadEPREYoLDm/LKngPdgJN
qkz0wNUJVB+LdzrJRkTYTRFPiZHrDsUTR6/mg1uJV9OjKssw7fsVe5dnjLvYw1pM
d2Ky34w1bFWbofupfJQHLdpsy/4XmJIOeUz1u5KscybZxRxCpsmEYiVpUajoicIh
A0zYGV2vgJMWegdS7DarP7F7CI2fhJH+AxmeVPuA7Cx8EJl+0vxLK1NuQKusfvWj
YKzrEtv+tVV2de4kPmYSWvAvpjSCYjIEpJV1EBrwyzcP4f4RDGxRIxKWEWw6G8vk
sz5ukBqFp45sH8q+KCV5
=YQde
-----END PGP SIGNATURE-----