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