Back to agda-stdlib PTS page

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