Bug#618196: marked as done (matita: FTBFS: /bin/sh: query: not found)
Your message dated Tue, 31 May 2011 09:32:50 +0000
with message-id <E1QRLJi-0002wV-46@franck.debian.org>
and subject line Bug#612891: fixed in matita 0.5.8-3
has caused the Debian Bug report #612891,
regarding matita: FTBFS: /bin/sh: query: not found
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 owner@bugs.debian.org
immediately.)
--
612891: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=612891
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: matita
Version: 0.5.8-2
Severity: serious
Tags: wheezy sid
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20110313 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part:
> make[4]: Entering directory `/build/user-matita_0.5.8-2-amd64-Xvc7yC/matita-0.5.8/components/extlib'
> make[4]: -query: Command not found
> /bin/sh: query: not found
> /bin/sh: query: not found
> /bin/sh: query: not found
> make[4]: *** No rule to make target `../../Makefile.defs'.
> make[4]: Failed to remake makefile `../../Makefile.defs'.
> rm -f *.cm[ioax] *.cmxa *.o *.a *.annot
> if [ -f test ]; then rm -f test; else true; fi
> if [ -f test.opt ]; then rm -f test.opt; else true; fi
> make[4]: Leaving directory `/build/user-matita_0.5.8-2-amd64-Xvc7yC/matita-0.5.8/components/extlib'
> make[3]: *** [rec@clean@extlib] Error 2
The full build log is available from:
http://people.debian.org/~lucas/logs/2011/03/13/matita_0.5.8-2_lsid64.buildlog
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on about 50 AMD64 nodes
of the Grid'5000 platform, using a clean chroot. Internet was not
accessible from the build systems.
--
| Lucas Nussbaum
| lucas@lucas-nussbaum.net http://www.lucas-nussbaum.net/ |
| jabber: lucas@nussbaum.fr GPG: 1024D/023B3F4F |
--- End Message ---
--- Begin Message ---
Source: matita
Source-Version: 0.5.8-3
We believe that the bug you reported is fixed in the latest version of
matita, which is due to be installed in the Debian FTP archive:
matita-doc_0.5.8-3_all.deb
to main/m/matita/matita-doc_0.5.8-3_all.deb
matita_0.5.8-3.debian.tar.gz
to main/m/matita/matita_0.5.8-3.debian.tar.gz
matita_0.5.8-3.dsc
to main/m/matita/matita_0.5.8-3.dsc
matita_0.5.8-3_amd64.deb
to main/m/matita/matita_0.5.8-3_amd64.deb
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 612891@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated matita 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 ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 31 May 2011 11:17:47 +0200
Source: matita
Binary: matita matita-doc
Architecture: source all amd64
Version: 0.5.8-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
matita - interactive theorem prover
matita-doc - user manual of the Matita interactive theorem prover
Closes: 612891
Changes:
matita (0.5.8-3) unstable; urgency=low
.
[ Stéphane Glondu ]
* Team upload
* Switch packaging to git
* Switch source package format to 3.0 (quilt)
* Remove Stefano from Uploaders
.
[ Colin Watson ]
* Apply r11210 from upstream SVN to account for changes in the
signatures of Gramext.Slist0sep and Gramext.Slist1sep (Closes: #612891)
Checksums-Sha1:
1abba37c1aab407cc8b3e7c9555591deaf294e7c 2322 matita_0.5.8-3.dsc
c6983361b93d1f453526cf0e49bb273b96e1e3a2 6565 matita_0.5.8-3.debian.tar.gz
2f10de446be92a48d3ef77913e2f122c278e52b9 1238856 matita-doc_0.5.8-3_all.deb
c830b2029bdcf284d222f65ea33195612694c533 6870640 matita_0.5.8-3_amd64.deb
Checksums-Sha256:
408eeb12abfc55ed9a60b7a35b702ac35e345becfb6ecbc8b5ebd5acb5759180 2322 matita_0.5.8-3.dsc
c5bc4d8d3832f33dd57eebb8cf689b00c22b9eb8fa72a39b5951197eac7cce83 6565 matita_0.5.8-3.debian.tar.gz
7080d92d1eed1f39f2e88629d925d11b3e98e77d7e7cce5c2f885e44d257fcb9 1238856 matita-doc_0.5.8-3_all.deb
22903bf7a26636728fdcedb2ffc3c189c6c7d3f8eba6262cd606f3a61236f526 6870640 matita_0.5.8-3_amd64.deb
Files:
fbb8ee3deb76ff90f2bc919844d75f9c 2322 math optional matita_0.5.8-3.dsc
ede4dca78cfc37ae39e5ca2c31406270 6565 math optional matita_0.5.8-3.debian.tar.gz
eb283a630a7bd88d6b19551899161c28 1238856 doc optional matita-doc_0.5.8-3_all.deb
82bc01b67aaa4c27069999d500bd573e 6870640 math optional matita_0.5.8-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJN5LS1AAoJEHhT2k1JiBrTf98QALZ8o4PcEsIe2GrbHBSrDtjF
21p+LwkvHel+YRMaPqpcIL00VWYtWREQ7qAlL1XtB3Hmm5xalkcRtbYyy485DpHZ
3RWsqMXrL5DxPpcv+tkxoIgJujJhinlcCT0RLwzmFc5Z9HlWUzAal1ttnqfsLooh
ElqSvlcv1Y93r05CtNX9JUrXTFp6sNy8jy3+9hF1XB3QPI80U9EQPDLn6RAahkaB
9FtW3VJEffPaOLE56sCf8hDrRzRuUUijzSXq/UygrRD2eN43c3vmu4Pfaj9GIBkZ
d088to4+ixcYNRd4uFTI/KXvQ7tVvF44NZqDCWRxO972HoYO2XabzraEyT/RLPCP
tfkMgukLnSUkE9edtZzUc8nq6hE3o/GGsMYqJeKAxa0mrGYMfjVWfBdF/ddCcU3W
0ymHOJfjxEtysnv+j6DUf5icUrf7xR76HNuTYX1gi4Ou55VscxUkGKoOaA41VKa2
9U4Pn50xvrPsMRQtTnXQ13WKGExKf7gVa0+RwYY9++Hdg8k4e/jYwOhlZrNuoHR7
svE/ABxkL92Nma1r7jZYmqqqysslnK6/Vof/x1UO2WEQHXuQYz4B1SAKjOvHgc1L
m2+fkx69rt/vzYT4cRXehrpchUuo2JkMu9l5QaAiF/asXRTncqNqB/r++Nz9r63K
/YYWGaL6ElWgRBsJnWyH
=M4QH
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: