Accepted agda-stdlib 0.12-1 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 15 Jun 2016 11:27:50 +0900
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source all
Version: 0.12-1
Distribution: unstable
Urgency: medium
Maintainer: Iain Lane <laney@debian.org>
Changed-By: Sean Whitton <spwhitton@spwhitton.name>
Description:
agda-stdlib - standard library for Agda
agda-stdlib-doc - standard library for Agda — documentation
Changes:
agda-stdlib (0.12-1) unstable; urgency=medium
.
* Package new upstream release.
* Bump relationships with agda to >= 2.5.1, << 2.6.0.
* Fix override_dh_auto_clean to actually delete GenerateEverything{,.hi,.o}.
* Clean target also deletes Everything.agda.
* Add myself as an uploader.
* Update Vcs-* URIs.
* Bump standards version to 3.9.8 (no changes required).
Checksums-Sha1:
cb70669e582b12c9fe299baf5c0ffe7ba45b76ff 2155 agda-stdlib_0.12-1.dsc
1bd25a25606653329c981e33e76d8ff0564cc74f 254024 agda-stdlib_0.12.orig.tar.gz
b1d22596ee834bb009f8e0159f65eb5da598fe8b 4784 agda-stdlib_0.12-1.debian.tar.xz
0f5e9187add08241a3cf44667b292a7341a01bdd 1275400 agda-stdlib-doc_0.12-1_all.deb
ed5958ba6690b554533445bca4d38b613e120a92 17067272 agda-stdlib_0.12-1_all.deb
Checksums-Sha256:
cfb6d33b0eec3aa3cfc171a9299ec2c474775623c2592c47a78fd947c8bfb331 2155 agda-stdlib_0.12-1.dsc
2fddbc6d08e74c6205075704f40c550fc40137dee44e6b22b2e08ddee1410e87 254024 agda-stdlib_0.12.orig.tar.gz
b9f3e78382b4ae8b00c117748cd7460a5630e9a255dadb56aa62105a29107fe3 4784 agda-stdlib_0.12-1.debian.tar.xz
66215fe674190d7ad61669b83078f39645c0dcda9443fa0a635e68deac6ec0cb 1275400 agda-stdlib-doc_0.12-1_all.deb
546a20c476e3e45718c2ca4b090cf1896bcf3502012288bdb43e2d1ed3e662b2 17067272 agda-stdlib_0.12-1_all.deb
Files:
5526dc1759ba3caee2ce355409529057 2155 libs extra agda-stdlib_0.12-1.dsc
f5ac7a23d7d3ea868f557e1863ef0e7c 254024 libs extra agda-stdlib_0.12.orig.tar.gz
78091cff712f06af30b026bfa1705f62 4784 libs extra agda-stdlib_0.12-1.debian.tar.xz
0053464fd38c2d48b13805579c0ae0ec 1275400 doc extra agda-stdlib-doc_0.12-1_all.deb
64693c6750f753aecb2be30da86a9626 17067272 libs extra agda-stdlib_0.12-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJXZ6yDAAoJED2QirPw+/UfLfgP/i0wLy2YxY//D/nlf9s+BuOu
RD1Q6Ak4z3KipGnFxM5R0WlETak0WPtOx4HYp3w9W4YpvgWqX1thupp2WDBFoNVW
KUuIBi5Nkdd70QQ+nuduciBCePrkpiAsBsI89mm5DDUGw9u+1PNJIFk4pA3PVk5Q
cTfw0LMNmnXRT0Uawirbg4U4ewePYckspjWAVHrC6SBjkHNZRYYyAr163xj+bCBW
B5KONl9GPunmt8OXh/G96CoD14HRRP/+q6bC8Qy6k4q0wkzVwTERluPKjJMxSJm0
dSfb1OqGURooeWtKqlAlFu7HdpgN2pAE1na37E/HP04AxvON/eSiLIcylZJ3WzK7
aQwsorP4/7jC0UOD9+L5ZFohYxXQLKZ/22jG2kxHr1SzpoMs5ly1Al+u9hvg/+hA
8STfjNOHr+/BM4gHGNnIqsNJbau0F+TlDsYPsJ8yQni8jxaHFZ/956EZIUuF18Jj
EUCdI3OiTIEMjo6oaf3Mq97qzBwQVXUum2FIffaO0AYXnbr5mky/9aWgwEQvz/Lf
vpgdmla0ikOOUBciD915MFeTmNGmKBMMzkb5LZbtwPRLw752rpaIW6aLMnF+68pt
5GUIue2kspDJe1Ic0yylmUaWfR5KFJqn5N3pprTehEK0uIHlgrcKmQkWM+/AzgW1
zgJa55gA+l7zsu0ELkQf
=2TMD
-----END PGP SIGNATURE-----