Bug#495165: marked as done (coq_8.2~beta4+dfsg-1(hppa/experimental): FTBFS: ocamlopt: command not found)
Your message dated Fri, 15 Aug 2008 15:32:20 +0000
with message-id <E1KU1Ho-0000HE-ES@ries.debian.org>
and subject line Bug#495165: fixed in coq 8.2~beta4+dfsg-2
has caused the Debian Bug report #495165,
regarding coq_8.2~beta4+dfsg-1(hppa/experimental): FTBFS: ocamlopt: command 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.)
--
495165: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=495165
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: coq
Version: 8.2~beta4+dfsg-1
Severity: serious
Hi,
your package failed to build from source.
| Automatic build of coq_8.2~beta4+dfsg-1 on lofn by sbuild/hppa 98-farm
| Build started at 20080815-0318
| ******************************************************************************
| Checking available source versions...
| Fetching source files...
| Reading package lists...
| Building dependency tree...
| Need to get 3157kB of source archives.
| Get:1 http://sinclair.farm.ftbfs.de experimental/main coq 8.2~beta4+dfsg-1 (dsc) [1555B]
| Get:2 http://sinclair.farm.ftbfs.de experimental/main coq 8.2~beta4+dfsg-1 (tar) [3142kB]
| Get:3 http://sinclair.farm.ftbfs.de experimental/main coq 8.2~beta4+dfsg-1 (diff) [13.8kB]
| Fetched 3157kB in 3s (1041kB/s)
| Download complete and in download only mode
| ** Using build dependencies supplied by package:
| Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.10), ocaml-best-compilers, camlp5, liblablgtk2-ocaml-dev (>= 2.4.0), texlive-latex-extra, hevea
| Checking for already installed source dependencies...
[...]
| OCAMLC4 parsing/g_constr.ml4
| Testing parsing/grammar.cma
| /bin/sh: ocamlopt: command not found
| make[2]: *** [parsing/grammar.cma] Error 127
| make[2]: Leaving directory `/build/buildd/coq-8.2~beta4+dfsg'
| make[1]: *** [stage1] Error 2
| make[1]: Leaving directory `/build/buildd/coq-8.2~beta4+dfsg'
| make: *** [build-stamp] Error 2
| dpkg-buildpackage: failure: debian/rules build gave error exit status 2
| ******************************************************************************
| Build finished at 20080815-0331
| FAILED [dpkg-buildpackage died]
Full build log(s): http://experimental.ftbfs.de/build.php?&ver=8.2~beta4+dfsg-1&pkg=coq&arch=hppa
Gruesse,
--
Frank Lichtenheld <djpig@debian.org>
www: http://www.djpig.de/
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.2~beta4+dfsg-2
We believe that the bug you reported is fixed in the latest version of
coq, which is due to be installed in the Debian FTP archive:
coq-libs_8.2~beta4+dfsg-2_all.deb
to pool/main/c/coq/coq-libs_8.2~beta4+dfsg-2_all.deb
coq_8.2~beta4+dfsg-2.diff.gz
to pool/main/c/coq/coq_8.2~beta4+dfsg-2.diff.gz
coq_8.2~beta4+dfsg-2.dsc
to pool/main/c/coq/coq_8.2~beta4+dfsg-2.dsc
coq_8.2~beta4+dfsg-2_i386.deb
to pool/main/c/coq/coq_8.2~beta4+dfsg-2_i386.deb
coqide_8.2~beta4+dfsg-2_i386.deb
to pool/main/c/coq/coqide_8.2~beta4+dfsg-2_i386.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 495165@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stephane Glondu <steph@glondu.net> (supplier of updated coq 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: SHA1
Format: 1.8
Date: Fri, 15 Aug 2008 13:20:16 +0200
Source: coq
Binary: coq coqide coq-libs
Architecture: source all i386
Version: 8.2~beta4+dfsg-2
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stephane Glondu <steph@glondu.net>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Closes: 495165
Changes:
coq (8.2~beta4+dfsg-2) experimental; urgency=low
.
* [45cca7f] Add non-native-archs.dpatch; fixes FTBFS on non-native
architectures (Closes: #495165)
Checksums-Sha1:
a838c4edc6487d41b950c51209a1efaf842ec43f 1555 coq_8.2~beta4+dfsg-2.dsc
32c2efd9d861a828f6beafc352ff88579a4469d6 14305 coq_8.2~beta4+dfsg-2.diff.gz
f905d06d5815212f284b908d32d231da196bc7e8 18742360 coq-libs_8.2~beta4+dfsg-2_all.deb
f2f7222a07ce2f05e6c07b93d1dc901974b8a867 10615026 coq_8.2~beta4+dfsg-2_i386.deb
0817b6a927fafd8e3d074cf3acfcd19b5200d853 5482990 coqide_8.2~beta4+dfsg-2_i386.deb
Checksums-Sha256:
16a13db0d0339babb9d7544c9ee395dda43bf8ddd399a9d39891ed5caeb360d4 1555 coq_8.2~beta4+dfsg-2.dsc
4d2915d2534c755c8a7d436655fa9cd311a17a5bd2da3a0b8bc555c7bc747110 14305 coq_8.2~beta4+dfsg-2.diff.gz
92196000817d3a1dd79f71b797199d251d5975e92708af600eba2ae059d14d39 18742360 coq-libs_8.2~beta4+dfsg-2_all.deb
5917ca3127343c6ef8796567ade5dc1ea4dbdce1ce7126c0d7b7c3d438c52a85 10615026 coq_8.2~beta4+dfsg-2_i386.deb
d5f79906b8d182b589bbf08804da7aaac697182b74e3e9833d7a5558cac9bed8 5482990 coqide_8.2~beta4+dfsg-2_i386.deb
Files:
66d1c69ad4ede55bb96ebd01bc1bd12d 1555 math optional coq_8.2~beta4+dfsg-2.dsc
a829f575446efa6f5a0fcd2d10d16a02 14305 math optional coq_8.2~beta4+dfsg-2.diff.gz
b0e57746af7902a4a78663e39c496e54 18742360 math optional coq-libs_8.2~beta4+dfsg-2_all.deb
e94aff117e631f6db5d01a426cc69667 10615026 math optional coq_8.2~beta4+dfsg-2_i386.deb
ab82081781244873b04f8be99d790ba1 5482990 math optional coqide_8.2~beta4+dfsg-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkilm6oACgkQIae1O4AJae/UagCeMX2mmxoRa3BZBwd6fZ/FEIg+
vSAAn1qe1w+NqberU9ebMQ32ZLtQA6kC
=eWtM
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: