Accepted agda-stdlib 1.1-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 04 Sep 2019 15:06:56 +0200
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 1.1-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.1-1) unstable; urgency=medium
.
* Team upload
* New upstream version 1.1
* Update copyright years
* Bump compat level to 12
* Bump std-version to 4.4.0
* Update agda relationships bounds
Checksums-Sha1:
46f8b21a5c3dff734e796c9a28a5c8619a57ea86 2117 agda-stdlib_1.1-1.dsc
0b347f01db0185c4ff0038275aa72a37e437cc25 570106 agda-stdlib_1.1.orig.tar.gz
eb75ab52f74039805351e83f2a1b21e6d4a53d60 5528 agda-stdlib_1.1-1.debian.tar.xz
8472b0cba9ef120b8c62875925b7404c2959f1e9 7349 agda-stdlib_1.1-1_source.buildinfo
Checksums-Sha256:
bd11c47014546a6692209cd4733088bc29672b8016794ff81a989f7bd92c8aed 2117 agda-stdlib_1.1-1.dsc
bb21bae5670863297c67f5d40c8c9e28d9329907683d43121bd58049dec25498 570106 agda-stdlib_1.1.orig.tar.gz
e4eeaba87a5a259ff4d65f882ac8ae316b657921db6f148372cb730598ab6c11 5528 agda-stdlib_1.1-1.debian.tar.xz
4933d54464b50bb0a04e8d83a96c832b10e779e72a6ad388c4ada0d1ab327b9b 7349 agda-stdlib_1.1-1_source.buildinfo
Files:
5b24c5ce48fbd394902892cc515f8978 2117 libs optional agda-stdlib_1.1-1.dsc
5be09e518785a3f27cdc65d5462abbbf 570106 libs optional agda-stdlib_1.1.orig.tar.gz
5eab2f0c129e6462dce567c768aba5c8 5528 libs optional agda-stdlib_1.1-1.debian.tar.xz
588187fa31bafb6e54e1b5b45629a321 7349 libs optional agda-stdlib_1.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1vtxEACgkQ808JdE6f
XdnKTw/7BvI30bKnjNGSEiBJZUHbpOqjKuh3Tt0o2gwBdSUIx/Yj/NNlup5DxvJy
yJqeMWIbEqPrdJIz1KOpOMZy0R50/A1L32IBVv75TqkVksxBiijGXYFI0yKULmON
jBB2QbFMwBTCf2/fFO2dP8rg78KnhDqnUytgR3+lPj8L0UX4N5SYQeTgCErs65ZN
wn5Sv9OOCa/f3MuEl8TJQkdwLoHOxu0tL3EPY9qmzYWQTcNHJLEfYvpyQ920jHPV
Cpu4eCuYOc0dPJi6THkHuiexWHGUNSvUc/McgdqhqrIryp5SXZeJPeEz3Qa+8m0P
7lsn674f7Ud4+9E9QDKdIq4WccfAe6B/50qTSPPKwlRvDi3pqnDVIx5MT45qVsIC
p9rVE2ERKPJAhWcXEfZ9rUeX1WV6AmckbVxH0xySbEL1TVQL2zN2rZYGTZfBzMUd
W+uto08FLQAXNMHeq4+Ty9wWTaWtxNzdouEolKSb9jtTeEtUMAp8i/hauypQ2l5T
WOerjlkOhlfcnYnPWIxUnE4M92A7IuSaT3dRtWY9Ava7UhKo+tlELJytLFnL1z4b
0qn8F4yJ6uIqt8vj/fCFP/ecsEHZC3mjAkONEX2caiLJEUMM1dK3z8/ApBgGDq6B
YNBZLAF7DaFEgXGH7GdqMu8mCi8JQc8wep6SKQH53XLxPt8zS1E=
=6o+D
-----END PGP SIGNATURE-----