Your message dated Wed, 16 Dec 2015 23:02:14 +0000 with message-id <[email protected]> and subject line Bug#790260: fixed in maude 2.7-1 has caused the Debian Bug report #790260, regarding maude: FTBFS on i386 with glibc 2.21 and gcc-5 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.) -- 790260: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=790260 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Source: maude Version: 2.6-6 Severity: normal >From my i386 pbuilder build log, using a setup preferring glibc and gcc-defaults from experimental: ... dh_auto_test -a make -j1 check make[1]: Entering directory '/tmp/buildd/maude-2.6' Making check in src make[2]: Entering directory '/tmp/buildd/maude-2.6/src' Making check in 3rdParty make[3]: Entering directory '/tmp/buildd/maude-2.6/src/3rdParty' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/3rdParty' Making check in Utility make[3]: Entering directory '/tmp/buildd/maude-2.6/src/Utility' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/Utility' Making check in Temporal make[3]: Entering directory '/tmp/buildd/maude-2.6/src/Temporal' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/Temporal' Making check in Interface make[3]: Entering directory '/tmp/buildd/maude-2.6/src/Interface' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/Interface' Making check in Core make[3]: Entering directory '/tmp/buildd/maude-2.6/src/Core' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/Core' Making check in Variable make[3]: Entering directory '/tmp/buildd/maude-2.6/src/Variable' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/Variable' Making check in NA_Theory make[3]: Entering directory '/tmp/buildd/maude-2.6/src/NA_Theory' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/NA_Theory' Making check in ACU_Persistent make[3]: Entering directory '/tmp/buildd/maude-2.6/src/ACU_Persistent' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/ACU_Persistent' Making check in ACU_Theory make[3]: Entering directory '/tmp/buildd/maude-2.6/src/ACU_Theory' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/ACU_Theory' Making check in AU_Persistent make[3]: Entering directory '/tmp/buildd/maude-2.6/src/AU_Persistent' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/AU_Persistent' Making check in AU_Theory make[3]: Entering directory '/tmp/buildd/maude-2.6/src/AU_Theory' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/AU_Theory' Making check in CUI_Theory make[3]: Entering directory '/tmp/buildd/maude-2.6/src/CUI_Theory' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/CUI_Theory' Making check in S_Theory make[3]: Entering directory '/tmp/buildd/maude-2.6/src/S_Theory' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/S_Theory' Making check in FreeTheory make[3]: Entering directory '/tmp/buildd/maude-2.6/src/FreeTheory' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/FreeTheory' Making check in Higher make[3]: Entering directory '/tmp/buildd/maude-2.6/src/Higher' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/Higher' Making check in BuiltIn make[3]: Entering directory '/tmp/buildd/maude-2.6/src/BuiltIn' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/BuiltIn' Making check in IO_Stuff make[3]: Entering directory '/tmp/buildd/maude-2.6/src/IO_Stuff' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/IO_Stuff' Making check in ObjectSystem make[3]: Entering directory '/tmp/buildd/maude-2.6/src/ObjectSystem' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/ObjectSystem' Making check in Meta make[3]: Entering directory '/tmp/buildd/maude-2.6/src/Meta' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/Meta' Making check in FullCompiler make[3]: Entering directory '/tmp/buildd/maude-2.6/src/FullCompiler' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/FullCompiler' Making check in MSCP10 make[3]: Entering directory '/tmp/buildd/maude-2.6/src/MSCP10' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/MSCP10' Making check in StrategyLanguage make[3]: Entering directory '/tmp/buildd/maude-2.6/src/StrategyLanguage' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/StrategyLanguage' Making check in Mixfix make[3]: Entering directory '/tmp/buildd/maude-2.6/src/Mixfix' make check-am make[4]: Entering directory '/tmp/buildd/maude-2.6/src/Mixfix' make[4]: Nothing to be done for 'check-am'. make[4]: Leaving directory '/tmp/buildd/maude-2.6/src/Mixfix' make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/Mixfix' Making check in Main make[3]: Entering directory '/tmp/buildd/maude-2.6/src/Main' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src/Main' make[3]: Entering directory '/tmp/buildd/maude-2.6/src' make[3]: Nothing to be done for 'check-am'. make[3]: Leaving directory '/tmp/buildd/maude-2.6/src' make[2]: Leaving directory '/tmp/buildd/maude-2.6/src' Making check in tests make[2]: Entering directory '/tmp/buildd/maude-2.6/tests' Making check in BuiltIn make[3]: Entering directory '/tmp/buildd/maude-2.6/tests/BuiltIn' make check-TESTS make[4]: Entering directory '/tmp/buildd/maude-2.6/tests/BuiltIn' At this point, the build hangs and must be interrupted manually. -- Daniel Schepler
--- End Message ---
--- Begin Message ---Source: maude Source-Version: 2.7-1 We believe that the bug you reported is fixed in the latest version of maude, 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. Andreas Tille <[email protected]> (supplier of updated maude 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: SHA512 Format: 1.8 Date: Wed, 16 Dec 2015 22:57:25 +0100 Source: maude Binary: maude Architecture: source amd64 Version: 2.7-1 Distribution: unstable Urgency: medium Maintainer: Debian Med Packaging Team <[email protected]> Changed-By: Andreas Tille <[email protected]> Description: maude - high-performance logical framework Closes: 790260 Changes: maude (2.7-1) unstable; urgency=medium . * New upstream version Closes: #790260 Checksums-Sha1: 072caf9db102baaea96ed216e31acbf2038aebb9 2038 maude_2.7-1.dsc 9d73146e1a21b35f8ba46f069fc63f06c434a3ce 1663708 maude_2.7.orig.tar.gz aab52eff6eade1b5cdf734cb37194368e95a6f85 6428 maude_2.7-1.debian.tar.xz d1db9bc945647b16caf76832345d551d32cd387e 775032 maude_2.7-1_amd64.deb Checksums-Sha256: 99d18534ec4c283b9522eefbb78d300426d56f4c252869c1ae2ffd8c3f7e28b6 2038 maude_2.7-1.dsc f5da81556c3180aee6a9cf4cef2f0b9bb2ff3b7fcc7bb103cb4ac3f5770b2b89 1663708 maude_2.7.orig.tar.gz 81975d21cff334f4aaf822f348edbbfbc39dc8ebdb5390fb3dabdac4d096504e 6428 maude_2.7-1.debian.tar.xz 075b674677c6bd2339d9459aa28054bfdd2c3efc57cfb1159abdb8456c902524 775032 maude_2.7-1_amd64.deb Files: 63ac5ef5a128aeb8a460820f14b93c06 2038 science optional maude_2.7-1.dsc 95a4e744d5032d7839181c714e6cf8cb 1663708 science optional maude_2.7.orig.tar.gz 17fd6e57c87650f7b44a244f10065783 6428 science optional maude_2.7-1.debian.tar.xz e3fd0ac804671f07bcb3ca39532c8984 775032 science optional maude_2.7-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJWcd+AAAoJEFeKBJTRxkbRy2cP/3SH7aSTCWsy1yITz3KrSaNP 3ITU9VVXCqS/Law1gRFZkn43KolAfPsCDIYeN1T8apTue6FQv1c0EY1SxOomV4Pq WSmS9ckXKZGlncm2nRjn7YNbQ/QhT34ulV3fVmQ+DUyTPUglgIOtKBJ3RnMrin+n TiuQb3jKp6BZVdaUWW/s3ZsLwGLI0fv87YSJHv2igY43YJxE0S9AwXZI6UGkVZwD NrJ7tOGbnDpf97peonX5beDJoTgybMWcaYNSNSCKqh1NX4ICdFoP8B6mb3G2irM0 OkVqVXlnY5Cpu3GB7GQmP50pm9NGZ9jkgKhTSbpO3Bdz30Ea9XT6WQ8QbzaLya8p g9rnNRv2tpiHY5hmTGdh/HzAEwpzEYJfjgHC5KpZlNiEHV5fqPt2XhMXlz4b84z+ Yvy76/8kQOGtg/srgrFJWLJTMcNQBgupog/abUjs7zUdLtCMNuc0GS6z7B3ONZLW +j+nq8/9JxSFjLaAoTpANXp62HCLtP4n2jjeLV+RG5ACCFQhoPFbMbRjEoSEBVNt Q8UOHcYmsp9q1nyooQ3DcXauE/+rgPnKl1JrGmxsitd2iOSiZhJNOG03uc7j/Hpz 1XpfQPmagE/7odgTMyOBH54ZJ41cn9bEa/C+V6vVRAO6Dcrvd7gSGv2QOw1eMX8J EEGmtOy4Ma5H0L0vYRcn =B8aW -----END PGP SIGNATURE-----
--- End Message ---
