Accepted agda-stdlib 1.3-1 (source) into unstable
-----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-----