Your message dated Wed, 16 Dec 2015 23:02:14 +0000
with message-id <e1a9l5k-0000kb...@franck.debian.org>
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 ow...@bugs.debian.org
immediately.)
--
790260: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=790260
Debian Bug Tracking System
Contact ow...@bugs.debian.org 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 790...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Andreas Tille <ti...@debian.org> (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 ftpmas...@ftp-master.debian.org)
-----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
<debian-med-packag...@lists.alioth.debian.org>
Changed-By: Andreas Tille <ti...@debian.org>
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 ---
