Your message dated Sun, 26 Nov 2017 10:48:40 +0000
with message-id <[email protected]>
and subject line Bug#881307: fixed in agda-stdlib 0.14-1
has caused the Debian Bug report #881307,
regarding agda-stdlib FTBFS: <stdout>: commitBuffer: invalid argument (invalid
character)
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
881307: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=881307
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: agda-stdlib
Version: 0.13-1
Severity: serious
Some recent change in unstable makes agda-stdlib FTBFS:
https://tests.reproducible-builds.org/debian/history/agda-stdlib.html
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/agda-stdlib.html
...
debian/rules override_dh_auto_build
make[1]: Entering directory '/build/1st/agda-stdlib-0.13'
ghc --make GenerateEverything.hs
[1 of 1] Compiling Main ( GenerateEverything.hs,
GenerateEverything.o )
Linking GenerateEverything ...
./GenerateEverything
agda +RTS -K1G -RTS -i /build/1st/agda-stdlib-0.13 -i
/build/1st/agda-stdlib-0.13/src /build/1st/agda-stdlib-0.13/Everything.agda
Checking Everything (/build/1st/agda-stdlib-0.13/Everything.agda).
Checking Algebra (/build/1st/agda-stdlib-0.13/src/Algebra.agda).
Checking Relation.Binary
(/build/1st/agda-stdlib-0.13/src/Relation/Binary.agda).
Checking Data.Product (/build/1st/agda-stdlib-0.13/src/Data/Product.agda).
Checking Function (/build/1st/agda-stdlib-0.13/src/Function.agda).
Checking Level (/build/1st/agda-stdlib-0.13/src/Level.agda).
Finished Level.
Finished Function.
Checking Relation.Nullary
(/build/1st/agda-stdlib-0.13/src/Relation/Nullary.agda).
Checking Data.Empty (/build/1st/agda-stdlib-0.13/src/Data/Empty.agda).
/build/1st/agda-stdlib-0.13/src/Data/Empty.agda:13,1-31
The HASKELL pragma has been deprecated. Use
{-# FOREIGN GHC data AgdaEmpty #-} instead. This will be an error
in Agda 2.6.
when scope checking the declaration
{-# HASKELL
data AgdaEmpty
#-}
/build/1st/agda-stdlib-0.13/src/Data/Empty.agda:14,1-58
The COMPILED_DATA pragma has been deprecated. Use
{-# COMPILE GHC /build/1st/agda-stdlib-0.13/src/Relation/Nullary.agda:11,13-23
<stdout>: commitBuffer: invalid argument (invalid character)
debian/rules:13: recipe for target 'override_dh_auto_build' failed
make[1]: *** [override_dh_auto_build] Error 1
--- End Message ---
--- Begin Message ---
Source: agda-stdlib
Source-Version: 0.14-1
We believe that the bug you reported is fixed in the latest version of
agda-stdlib, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Gianfranco Costamagna <[email protected]> (supplier of updated
agda-stdlib package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----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 <[email protected]>
Changed-By: Gianfranco Costamagna <[email protected]>
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-----
--- End Message ---
