Your message dated Tue, 24 May 2011 10:09:05 +0000
with message-id <[email protected]>
and subject line Bug#598708: fixed in agda-stdlib 0.5-1
has caused the Debian Bug report #598708,
regarding agda-stdlib: FTBFS on alpha: Stack space overflow: current size
8388608 bytes.
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.)
--
598708: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=598708
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: agda-stdlib
Version: 0.3-3
Severity: important
User: [email protected]
Usertags: ftbfs
Hi,
your package FTBFS on alpha:
| Checking Relation.Binary.NonStrictToStrict
(/build/buildd-agda-stdlib_0.3-3-alpha-W1NBUW/agda-stdlib-0.3/src/Relation/Binary/NonStrictToStrict.agda).
| Stack space overflow: current size 8388608 bytes.
| Use `+RTS -Ksize -RTS' to increase it.
| make[1]: *** [override_dh_auto_build] Error 2
Full build logs:
https://buildd.debian.org/status/package.php?p=agda-stdlib
Mraw,
KiBi.
--- End Message ---
--- Begin Message ---
Source: agda-stdlib
Source-Version: 0.5-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:
agda-stdlib-doc_0.5-1_all.deb
to main/a/agda-stdlib/agda-stdlib-doc_0.5-1_all.deb
agda-stdlib_0.5-1.diff.gz
to main/a/agda-stdlib/agda-stdlib_0.5-1.diff.gz
agda-stdlib_0.5-1.dsc
to main/a/agda-stdlib/agda-stdlib_0.5-1.dsc
agda-stdlib_0.5-1_all.deb
to main/a/agda-stdlib/agda-stdlib_0.5-1_all.deb
agda-stdlib_0.5.orig.tar.gz
to main/a/agda-stdlib/agda-stdlib_0.5.orig.tar.gz
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.
Iain Lane <[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: Tue, 24 May 2011 10:26:15 +0100
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source all
Version: 0.5-1
Distribution: unstable
Urgency: low
Maintainer: Iain Lane <[email protected]>
Changed-By: Iain Lane <[email protected]>
Description:
agda-stdlib - standard library for Agda
agda-stdlib-doc - standard library for Agda — documentation
Closes: 573807 598708 599958
Changes:
agda-stdlib (0.5-1) unstable; urgency=low
.
* [9251e0b] Imported Upstream version 0.5
* [ba20206] Make package architecture independent (Closes: #573807, #598708,
#599958)
* [2c82171] Add watch file
* [0518fa6] No longer need procps | hurd BD as we no longer have the ticker
* [daf2445] Don't use upstream's make install — handled ourselves by
dh_install
* [1b86533] Update watchfile to point at new location
* [637f47d] Remove debian/gbp.conf as we are no longer building for exp
* [cc88671] Require Agda 2.2.10
* [e99dab5] Set maximum stack size to 1G to prevent overflows in the build
* [251cd1d] Run the test suite manually
* [a7db697] Set the variable in the emacs loading script properly
* [540ca3f] Improve short description
* [6b3e794] Add dependencies on compatible versions of the Agda library
* [7127678] Standards-Version bump to 3.9.2, no changes required
* [9d0ae30] Update to use ghc instead of ghc6
* [3f6879a] Set Maintainer to my d.o email address
Checksums-Sha1:
2723c4c6c0862f75dcbdaa693ff3304e9357d97d 1903 agda-stdlib_0.5-1.dsc
0d51bf6b8b2994ac67da3b32966cbe6e19f758cc 198083 agda-stdlib_0.5.orig.tar.gz
22e5cb37fb535b4e3a5e7726b7e5e5eb83a2d2d9 3647 agda-stdlib_0.5-1.diff.gz
9bdcf2b2d8aa852523ac618c2265dc031113349c 16086274 agda-stdlib_0.5-1_all.deb
0d402fd43e57e40f1eceb93f3184f56973922f66 1570408 agda-stdlib-doc_0.5-1_all.deb
Checksums-Sha256:
f82c2d71b6bb0271585a2ff0323398a57d8a2d07edf153dfce917bac3c040b8b 1903
agda-stdlib_0.5-1.dsc
ecdf9deddd9baae4ddddbc29bf1206717d6e683a213816777b5df55944f4363e 198083
agda-stdlib_0.5.orig.tar.gz
7e598498ef5edc57d13096d4b0001a0489e77c5075abe8710e03fa7918b9d019 3647
agda-stdlib_0.5-1.diff.gz
f4cc9c78ccc3343bbfef644c8387228269e0d0f2f13326af2bca14bc3a8edcba 16086274
agda-stdlib_0.5-1_all.deb
20964e8b97657587b6bcc38ac09b5b6ef459b986558d679b8cdc461494d54e67 1570408
agda-stdlib-doc_0.5-1_all.deb
Files:
064b04bc62ce370c5d7ef28b583cfbe4 1903 libs extra agda-stdlib_0.5-1.dsc
b14aa7adf14e91c5a308c9613d6c8881 198083 libs extra agda-stdlib_0.5.orig.tar.gz
d2051b18eb07b3b6d3c7190750c00469 3647 libs extra agda-stdlib_0.5-1.diff.gz
2abfdb22a545d16aa81d1818b7e1baed 16086274 libs extra agda-stdlib_0.5-1_all.deb
f8c02816cab0716832937b2462aec3b6 1570408 doc extra
agda-stdlib-doc_0.5-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJN239BAAoJEONS1cUcUEHUaQsP/3I82slC3n2Li0xix/n5N986
mr0QVIbqtM0tQhhcFi1MjY+Ahvj2R+KZ7TkENzG2/YjKeXF/xsMJz9s+rkZnDSX/
Gz85V2MlO9zxBankRnncNLec1LjR7ERz43CFsELKXz1UC6tdb2VdPyBGstgYbyPr
GCQc5QwqsTu/89FNkRS3g7IPHYf0LVQVwYFaVIBZDM/nlrYKkWv77moAKuQKGb9E
BdkRUKfV6hMWrnryTQtdNSVIJyZ7eEfBLNMvMZ/0G8hHxbHyqLlCXNTeOp69eHDK
kxFI0o4ISoB94lNBWgFDA1ntzaAq2QT9IgyhVm3QyBYsbCZroEusbfoPwY74Ywss
ojKEBZAvVfDXAnw6ZLZREAoEo8A02XydQbbHPbyZTcjG48Xc/TBEYr4wgzWC/oNu
oObKZ9Cbo43q5ZBGA1sFeT7sqBQR6VvMB3zvG7493b4ivdZo7UYEy/g33lMqSVQK
aHtn1GTkdStYkj7+W50bOwjhqnuNxq3vpmrrGj0BX4ESFHlo+Z+0kGO1K5bSmXIY
jePnvzXItkFspsOKQ/npMiXteqxrlUJobQvAONGZHoHJCP9mQiji2lyr5kvFazqF
jezZnOoRawCr75WcHuVTN33YmWMBsWOwhBg91ilatG/vb65l6oR5h5ArMOSZORiL
RTeI/1BQB27SF0/aUV/I
=Xhv4
-----END PGP SIGNATURE-----
--- End Message ---
