Your message dated Fri, 09 Apr 2004 13:17:03 -0400
with message-id <[EMAIL PROTECTED]>
and subject line Bug#242761: fixed in coq 7.3.1-3
has caused the attached Bug report 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 I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 8 Apr 2004 15:46:00 +0000
>From [EMAIL PROTECTED] Thu Apr 08 08:46:00 2004
Return-path: <[EMAIL PROTECTED]>
Received: from sorrow.cyrius.com [65.19.161.204]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1BBbj6-0000aO-00; Thu, 08 Apr 2004 08:46:00 -0700
Received: by sorrow.cyrius.com (Postfix, from userid 10)
id D645F64D4F; Thu, 8 Apr 2004 15:45:56 +0000 (UTC)
Received: by deprecation.cyrius.com (Postfix, from userid 1000)
id 210E81081B; Thu, 8 Apr 2004 16:45:16 +0100 (BST)
Date: Thu, 8 Apr 2004 16:45:16 +0100
From: Martin Michlmayr <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
Subject: coq: FTBFS: waits for input
Message-ID: <[EMAIL PROTECTED]>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.5.1+cvs20040105i
Delivered-To: [EMAIL PROTECTED]
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_25
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-7.0 required=4.0 tests=BAYES_00,HAS_PACKAGE
autolearn=no version=2.60-bugs.debian.org_2004_03_25
X-Spam-Level:
X-CrossAssassin-Scores: 1
Package: coq
Version: 7.3.1-2
I tried building coq from source and it only hangs, waiting for input. I tried
this with sbuild on i386 and mipsel, and by hand on i386. The package
obvioulsed used to build but it seems it no longer does. Can you please check
what's going on there?
> mv -f patch-stampT patch-stamp
> dh_testdir
> ./configure -opt --prefix /usr --mandir /usr/share/man --emacslib
> /usr/share/emacs/site-lisp/coq || ./configure --prefix /usr --mandir
> /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq
> ocamlc.opt is not present in your path !
> Give me manually the path to the ocamlc executable [/usr/local/bin by
> default]:
--
Martin Michlmayr
[EMAIL PROTECTED]
---------------------------------------
Received: (at 242761-close) by bugs.debian.org; 9 Apr 2004 17:23:20 +0000
>From [EMAIL PROTECTED] Fri Apr 09 10:23:20 2004
Return-path: <[EMAIL PROTECTED]>
Received: from newraff.debian.org [208.185.25.31] (mail)
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1BBziq-00015C-00; Fri, 09 Apr 2004 10:23:20 -0700
Received: from katie by newraff.debian.org with local (Exim 3.35 1 (Debian))
id 1BBzcl-000231-00; Fri, 09 Apr 2004 13:17:03 -0400
From: Ralf Treinen <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
X-Katie: $Revision: 1.47 $
Subject: Bug#242761: fixed in coq 7.3.1-3
Message-Id: <[EMAIL PROTECTED]>
Sender: Archive Administrator <[EMAIL PROTECTED]>
Date: Fri, 09 Apr 2004 13:17:03 -0400
Delivered-To: [EMAIL PROTECTED]
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_25
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-5.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER
autolearn=no version=2.60-bugs.debian.org_2004_03_25
X-Spam-Level:
X-CrossAssassin-Scores: 1
Source: coq
Source-Version: 7.3.1-3
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_7.3.1-3.diff.gz
to pool/main/c/coq/coq_7.3.1-3.diff.gz
coq_7.3.1-3.dsc
to pool/main/c/coq/coq_7.3.1-3.dsc
coq_7.3.1-3_i386.deb
to pool/main/c/coq/coq_7.3.1-3_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 [EMAIL PROTECTED],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <[EMAIL PROTECTED]> (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 [EMAIL PROTECTED])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 9 Apr 2004 18:03:41 +0200
Source: coq
Binary: coq
Architecture: source i386
Version: 7.3.1-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <[EMAIL PROTECTED]>
Description:
coq - Proof assistant for higher-order logic
Closes: 242761
Changes:
coq (7.3.1-3) unstable; urgency=low
.
* Added build-dependency on ocaml-best-compilers, check for opt compilers
in the configure-stamp target of debian/rules. Thanks to Mike Furr for
the patch (closes: #242761).
* Converted changelog to UTF-8.
Files:
b39aa257a852f209b36345202e0e1319 799 devel optional coq_7.3.1-3.dsc
7e3c6aa74a21797abd554b929beef68b 8521 devel optional coq_7.3.1-3.diff.gz
f39734a2edfe2d7d35809122b688a818 7546024 devel optional coq_7.3.1-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
iD8DBQFAdtdOtzWmSeC6BMERAsgrAJ9A+vY4IdpIfukiF0vu8q1tJusmzQCfbI4j
UbxeXlamLzfXZ2V4f/plHik=
=ithR
-----END PGP SIGNATURE-----
