[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#439570: marked as done (coq-float - FTBFS: /bin/sh: /usr/bin/coq_makefile: /usr/bin/ocamlrun: bad interpreter: No such file or directory)

Your message dated Fri, 07 Sep 2007 23:17:04 +0000
with message-id <E1ITn4S-00062m-Rq@ries.debian.org>
and subject line Bug#439570: fixed in coq 8.1.pl1+dfsg-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)
--- Begin Message --- 
Package: coq-float
Version: 2001-1
Severity: serious

There was an error while trying to autobuild your package:

> Automatic build of coq-float_2001-1 on debian-31.osdl.marist.edu by sbuild/s390 98
[...]
> coq_makefile *.v > Makefile
> /bin/sh: /usr/bin/coq_makefile: /usr/bin/ocamlrun: bad interpreter: No such file or directory
> make: *** [build-stamp] Error 126
> ******************************************************************************
> Build finished at 20070825-1153
> FAILED [dpkg-buildpackage died]

--- End Message ---
--- Begin Message --- 
Source: coq
Source-Version: 8.1.pl1+dfsg-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-libs_8.1.pl1+dfsg-3_all.deb
  to pool/main/c/coq/coq-libs_8.1.pl1+dfsg-3_all.deb
coq_8.1.pl1+dfsg-3.diff.gz
  to pool/main/c/coq/coq_8.1.pl1+dfsg-3.diff.gz
coq_8.1.pl1+dfsg-3.dsc
  to pool/main/c/coq/coq_8.1.pl1+dfsg-3.dsc
coq_8.1.pl1+dfsg-3_i386.deb
  to pool/main/c/coq/coq_8.1.pl1+dfsg-3_i386.deb
coqide_8.1.pl1+dfsg-3_i386.deb
  to pool/main/c/coq/coqide_8.1.pl1+dfsg-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 439570@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Samuel Mimram <smimram@debian.org> (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.7
Date: Sat, 08 Sep 2007 00:35:31 +0200
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1.pl1+dfsg-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
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: 439570
Changes: 
 coq (8.1.pl1+dfsg-3) unstable; urgency=low
 .
   * Depend on ocaml-base-nox since coq_makefile needs ocamlrun,
     closes: #439570.
Files: 
 ae7075f9129e418ca8d0c5b56a8c3294 1097 math optional coq_8.1.pl1+dfsg-3.dsc
 6cd75000c7ae800f0302f14d0561825c 20780 math optional coq_8.1.pl1+dfsg-3.diff.gz
 1302988f867beb0b8bc9161c403648f2 12590454 math optional coq-libs_8.1.pl1+dfsg-3_all.deb
 ccbcccb75c62bdfa76b358c66593b547 7738884 math optional coq_8.1.pl1+dfsg-3_i386.deb
 75caa883a97f78d086e5b365c3ed5d6a 4866890 math optional coqide_8.1.pl1+dfsg-3_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFG4djJIae1O4AJae8RAtNVAJ9RH803i6sEX6wnHU0cd6ebbZa9ngCeLhB9
ZHZ5i3oPomYH095DPO0jqkE=
=e4TV
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: