Accepted agda-stdlib 1.3-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 01 Aug 2020 10:29:35 +0200
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 1.3-2
Distribution: unstable
Urgency: medium
Maintainer: Iain Lane <laney@debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
agda-stdlib - standard library for Agda
agda-stdlib-doc - standard library for Agda — documentation
Closes: 966650
Changes:
agda-stdlib (1.3-2) unstable; urgency=medium
.
* Also ship again agdai files (Closes: #966650)
thanks Helmut Grohne for the report!
* Bump std-version to 4.5.0
Checksums-Sha1:
7ae65e2086ea58432627c8b722fa5d07904dbf5e 2113 agda-stdlib_1.3-2.dsc
43af751a732c8cd6f341243edfdd477a16cd190f 5640 agda-stdlib_1.3-2.debian.tar.xz
94874228d744049be6f629a66255c35f462d4732 9240 agda-stdlib_1.3-2_source.buildinfo
Checksums-Sha256:
8018c6669c4034be2b353668cf9a76120b979748993a96924844b78f81bd38a9 2113 agda-stdlib_1.3-2.dsc
271a6f86c4388740ae8556ed61b5d27535bc0394a5941b00d893bfe23e77c213 5640 agda-stdlib_1.3-2.debian.tar.xz
59f5376cda636233a04266ea1fb0055c163047a3293d3eaf4eb3b322e45fbc36 9240 agda-stdlib_1.3-2_source.buildinfo
Files:
8cc5290c95699ae6a928f0d819bf112d 2113 libs optional agda-stdlib_1.3-2.dsc
62fd051872c315063a27f336d744cdaa 5640 libs optional agda-stdlib_1.3-2.debian.tar.xz
82785efd896e173f337abc76b9b8a93a 9240 libs optional agda-stdlib_1.3-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl8lZawACgkQ808JdE6f
XdkE5hAAr8enNRhOVl/MeELW6iqm+d8NeSAq+2FtiUdu0VubF9yEwpKAV4uMcq92
tJUQ/XURVhZvc8sbASFAnwKxGRL/ppySWOniteG+IQBPStsT+Iz8P0awktHusXf9
LLSYHyE6FPF18YwKt09cTUXfahOeVtMeoMBaHbvarMROejMnyHXqCPbPQ7GmshQN
4Bvab/wCZxh1ndcMsops0gG+zMaaoitHplYLIOropFEfd+9rc4u3JnX7bq9MylLt
+IslA9B9XDPdvNGZTvcZefupNdNWjHdcTv8DZZK6/Hs23kRNoiFr+/WgGZx1l6P/
LxR1xkwBT/yScgZs4yRVLbUnidBpk0fBWd5B6oUwN38BovDEK2EwMhBAhKcYnv+H
5XPc82Juzr6Fh2uyrlQPxQcTVTTQ1BHVmzlq0fA3s9GsvZOUbxw675RJJWZuzIYZ
mqCpCa+TiEl3PD0p4bQMDnqRhXqYBOuoSrr1+T4tFOzg6YkgNpGiLQO6oJVJfaCI
vWb0p7PKTMJ/aSOGVSSQTmctIcxO/bv8oQoJFQWP6OBCZgZ5ydNRCQFzsSMvxYXL
wmVKEEGa2asrz7/L0FksWV4xdwlmQizTtSqtAC0D3Ip6tVUumcv2CNmN1gBxMJOC
bcOO5kB1bQO5HiQ+23r50sfqXqGh6lujXyw/IhiHCiT3hzWGmDY=
=/VWO
-----END PGP SIGNATURE-----