-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 31 Jul 2020 13:31:04 +0200 Source: agda-stdlib Binary: agda-stdlib agda-stdlib-doc Architecture: source Version: 1.3-1 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 Changes: agda-stdlib (1.3-1) unstable; urgency=medium . * Team upload. * New upstream version 1.3 * Fix watch file * Bump agda dependency bounds * Bump copyright years Checksums-Sha1: f9a2dde3d61a72cf8c4bbe5ba0293ab0741aa135 2113 agda-stdlib_1.3-1.dsc 759f72a37855fefda0edcfecffb3231d65df423c 751412 agda-stdlib_1.3.orig.tar.gz c8c355fd7819c083bed6dc2e8e74af11fdc3c2c5 5572 agda-stdlib_1.3-1.debian.tar.xz 3c5a2774cb2888d59fca2b5bb6bab6532c277fb2 7612 agda-stdlib_1.3-1_source.buildinfo Checksums-Sha256: 0dada22efc63439934694fd24f0f888f855349678d8e2fee89931030f7fe64bc 2113 agda-stdlib_1.3-1.dsc 573036cc097ed00a6d7c81c5af8b5b2350a94a3c6b9af03b5ce459cf269388ca 751412 agda-stdlib_1.3.orig.tar.gz 6c7c90af1a4430e996253484b94596a7101a6a374657a2aa691321d0897ce6de 5572 agda-stdlib_1.3-1.debian.tar.xz cfc21640f18f06197b2799636ff1830a10e47f66a4fb678a592f966e64242249 7612 agda-stdlib_1.3-1_source.buildinfo Files: e9046d694ab19a6ab2ef0771bdf068b1 2113 libs optional agda-stdlib_1.3-1.dsc 772509db9932b7794992f024a9e68f0f 751412 libs optional agda-stdlib_1.3.orig.tar.gz a700ee25cada157cf0a7da8b2743ffbe 5572 libs optional agda-stdlib_1.3-1.debian.tar.xz 0e183943d1f458408bc67c6f0a123a6f 7612 libs optional agda-stdlib_1.3-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl8kARAACgkQ808JdE6f XdnxpxAAsxVAHCuT4pOWhB1YdLe4Oq7Dm0MexWF08n/9mWfltuRv714rZjBA9QSL BZaMPH5XJvic2lPabEqT8nktjUnrhIMlXsuzt3jfJv9nHJZNXNYqrpG4quhJ7kiO UBIqh7swzkgw4LYTF3732WmlYee+aQGZpuZVqV/AnA17KXV3qJZLxdPqG9+X28GJ pHc6HoWjzBoRhAWhYskPlYZRmM7O3q9wdR8MoP2Nohqm3CZ/89IiOJQsA8IA6hNf Mqz7BwwfKLogvT/2pfIUPirvRqfPccpiUe7RI+wVS+fcpHuJiad/9J1Xep084VIz 16IRfCbVmewBEhEKCgX1oYNo73w8+t0vqTuIAR17oWpYVRipYkoCHBEuDEVWHERj Ma7nhPSxM55DI0oRe5o8w/cKCpqFm0ZsafHFy+tshY/iztaC+6PrDOZg4IMkiOj3 WUd+uljuHQT9zc4NN/6SJb6x9p9yQaV10bN+X44jgV37IGY5Hfup5Bt2sgvIjwsW gihWn3p3TYzcxorGXVSxt11YD3Nnq6vvdFeAXTLUmIF5giIR5H0PevaJ2sOapdM9 rHFtF9+Wfxkpqipf3oWe5u1f8WaiQSnaEMIDyCiTNM2DCEAEyGxSihYeaPGbE+Je OksXkh9kuARXvdfihppadzMNGr/LNzEdpylGQzp57kS5d3Phd/w= =mtP3 -----END PGP SIGNATURE-----
