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