Your message dated Sat, 24 Mar 2007 12:02:04 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#415867: fixed in coq 8.1+dfsg-2
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
Version: 8.1+dfsg-1
Severity: serious
Tags: experimental
| Automatic build of coq_8.1+dfsg-1 on alkman by sbuild/ia64 98-farm
| Build started at 20070316-1946
| ******************************************************************************
[...]
| OCAMLOPT -a -o lib/lib.cmxa
[...]
| cp lib/lib.cma kernel/kernel.cma library/library.cma pretyping/pretyping.cma
interp/interp.cma proofs/proofs.cma parsing/parsing.cma tactics/tactics.cma
toplevel/toplevel.cma parsing/highparsing.cma tactics/hightactics.cma
contrib/contrib.cma lib/lib.cmxa kernel/kernel.cmxa library/library.cmxa
pretyping/pretyping.cmxa interp/interp.cmxa proofs/proofs.cmxa
parsing/parsing.cmxa tactics/tactics.cmxa toplevel/toplevel.cmxa
parsing/highparsing.cmxa tactics/hightactics.cmxa contrib/contrib.cmxa
/build/buildd/coq-8.1+dfsg/debian/tmp"/usr/lib/coq"
| cp: cannot stat `lib/lib.cmxa': No such file or directory
| cp: cannot stat `kernel/kernel.cmxa': No such file or directory
| cp: cannot stat `library/library.cmxa': No such file or directory
| cp: cannot stat `pretyping/pretyping.cmxa': No such file or directory
| cp: cannot stat `interp/interp.cmxa': No such file or directory
| cp: cannot stat `proofs/proofs.cmxa': No such file or directory
| cp: cannot stat `parsing/parsing.cmxa': No such file or directory
| cp: cannot stat `tactics/tactics.cmxa': No such file or directory
| cp: cannot stat `toplevel/toplevel.cmxa': No such file or directory
| cp: cannot stat `parsing/highparsing.cmxa': No such file or directory
| cp: cannot stat `tactics/hightactics.cmxa': No such file or directory
| cp: cannot stat `contrib/contrib.cmxa': No such file or directory
| make[1]: *** [install-library] Error 1
| make[1]: Leaving directory `/build/buildd/coq-8.1+dfsg'
| make: *** [install] Error 2
| ******************************************************************************
| Build finished at 20070316-2201
| FAILED [dpkg-buildpackage died]
| Build needed 02:12:00, 146980k disk space
A complete build log can be found at
http://experimental.debian.net/build.php?arch=ia64&pkg=coq&ver=8.1+dfsg-1
Somehow these files get lost during the build, or ocamlopt outputs them
to the wrong place.
Marc
--
BOFH #357:
I'd love to help you -- it's just that the Boss won't let me near
the computer.
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.1+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.1+dfsg-2_all.deb
to pool/main/c/coq/coq-libs_8.1+dfsg-2_all.deb
coq_8.1+dfsg-2.diff.gz
to pool/main/c/coq/coq_8.1+dfsg-2.diff.gz
coq_8.1+dfsg-2.dsc
to pool/main/c/coq/coq_8.1+dfsg-2.dsc
coq_8.1+dfsg-2_i386.deb
to pool/main/c/coq/coq_8.1+dfsg-2_i386.deb
coqide_8.1+dfsg-2_i386.deb
to pool/main/c/coq/coqide_8.1+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 [EMAIL PROTECTED],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Samuel Mimram <[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: Sun, 18 Mar 2007 13:21:56 +0100
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1+dfsg-2
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <[EMAIL PROTECTED]>
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: 415867
Changes:
coq (8.1+dfsg-2) experimental; urgency=low
.
* Added cmxa-install.dpatch to install cmxa only on native archs,
closes: #415867.
* Added configure.dpatch for the configure to correctly detect whether
ocamlopt is present or not.
* Use dh_installtex instead of hand-crafted postinst.
Files:
6a72e6a178e0e7597f70cbc541cdb7ea 1093 math optional coq_8.1+dfsg-2.dsc
470e51ca0e3efd6134e5bd74d25b1f21 14576 math optional coq_8.1+dfsg-2.diff.gz
de4c89d147184c87e04438fcb5805ef3 14796926 math optional
coq-libs_8.1+dfsg-2_all.deb
13a256535499b2e02f342e19794b8b18 7437820 math optional coq_8.1+dfsg-2_i386.deb
37f89a4b21d42c73ddcb1fbcb56fb1d3 4642524 math optional
coqide_8.1+dfsg-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFGBRAmIae1O4AJae8RAhgTAJ4hWjL5Mh/39aWGXHCuTI7WZukTjQCeJPuQ
QLwrjr8nMMWUkfGw7tN7k50=
=hgBA
-----END PGP SIGNATURE-----
--- End Message ---
