Accepted agda-stdlib 0.14-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 26 Nov 2017 11:28:04 +0100
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.14-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
Closes: 881307
Changes:
agda-stdlib (0.14-1) unstable; urgency=medium
.
[ Gianfranco Costamagna ]
* New upstream release (Closes: #881307)
* Bump std-version to 4.1.1, set priority to optional
.
[ Helmut Grohne ]
* Team upload
* Address FTBFS: export LC_ALL=C.UTF-8. (Addresses: #881307)
* Bump agda-bin Breaks due to agdai incompatibility.
* Tighten up agda relation ships to detect incompatibility next time.
Checksums-Sha1:
9ab6a27b0ab1198d93e5397a6a58d9d528720944 2100 agda-stdlib_0.14-1.dsc
c5c2cca51f8b125d4f88e04cc1285d04b69524b8 285379 agda-stdlib_0.14.orig.tar.gz
1fafd68a27d83ba1836241ffe2ba42bd5cb365ee 5188 agda-stdlib_0.14-1.debian.tar.xz
b37ec0a0cb84e6d4fef574a96043369325876b45 6358 agda-stdlib_0.14-1_source.buildinfo
Checksums-Sha256:
0ee4ef16a11ee7170d31d0ac4d34300ab6b2d52beac992fee48a9fed58da9853 2100 agda-stdlib_0.14-1.dsc
7237c4039c61542bc010fd6db5da27dd6548c4ca5cde0d5d84b64f2b1a643b09 285379 agda-stdlib_0.14.orig.tar.gz
b7014f1b6fb1806d8994c0f8ef653acc39fee043d8911db3b772c5d498881578 5188 agda-stdlib_0.14-1.debian.tar.xz
2383619cd9d56fe8fffafa5d4b44e2c7999e9af94a4bf3c63e4923372ceac92c 6358 agda-stdlib_0.14-1_source.buildinfo
Files:
8d52e8661a6cdeca4bfd487d0596f5d9 2100 libs optional agda-stdlib_0.14-1.dsc
19c570a37377ef8d365e14b3dccc435b 285379 libs optional agda-stdlib_0.14.orig.tar.gz
07d18782ca95f46c8aead378a9fd5c4c 5188 libs optional agda-stdlib_0.14-1.debian.tar.xz
ed9165c15ba0599f98d3c1e0447fafaa 6358 libs optional agda-stdlib_0.14-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJaGpviAAoJEPNPCXROn13Z4woP/AydmxtxtA5Im4xqlt/s0JIG
1AqZLzfcLa0voobPgM1pMUnIDw8/LCcRPSV/6gAHJAbuuhnMh5boVMYnBwjkGYZs
eopJuGYh1lszM9slX7zyKsoyNLuqCCCnoCarHE8IX/Gt5ciQmQbmyU5HakKHaZDd
PRbAuEC2zr7br+sxJ0fz3FEddCJiDtDwUtmE15f9lUzNgc/cbdOpdNj9CyAtT3OJ
3wwGvuovr6K8l9+sIX/Gmc4C/z8v54PJExY74ncOKRfTElYSa9DbOIa3NHHpBZoS
SnL685dswoJNxnw6MDjxyLY4pL84ER84MzEMzSc7SyKlCL+1FkXtHhotclUGFn51
V5QQzBS5UgKHExTJ2t4/diY7rKJyzvyCSYrw/Y9tbxw+YnZpsVjUtGA7mf4x5Rp8
ALT/4ckcgyAZisPlsv7vjJazvNfOxl0hG8T6N6USIAHby5OyrRFOkmKqRfiXqlho
2l49yi+5sO35FfjUbULcRSRFMaU5PiYZSZB5+3Zpi9NF0Yt3/Zs2OxeBW3oSLjoA
UX8V5cV5gc39SnmjPsmxKvr4gcsGTA0JJxeuvoNvZBTWPbh8GbO6z9wAaUVBAJWL
nMOj0QL09D4a8lOa6+IjZpUK1ShEg3lFHJigkz2tiwUOqgcFNU2tzn6FjU02lQ+v
fztTm3tRz0G8kjWX0LiS
=7mO8
-----END PGP SIGNATURE-----