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