Your message dated Tue, 22 Jan 2008 09:02:06 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#458267: fixed in why 2.10.dfsg.2-1
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: why
Version: 2.10.dfsg-1
Severity: serious
Hi,
Your package is failing to build with the following error:
checking for ocamlc... ocamlc
ocaml version is 3.10.0
ocaml library path is /usr/lib/ocaml/3.10.0
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... no
checking for ocamlopt.opt... no
checking for ocamldep.opt... no
checking for ocamldep... (cached) no
configure: error: Cannot find ocamldep.
make: *** [config.status] Error 1
Kurt
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.10.dfsg.2-1
We believe that the bug you reported is fixed in the latest version of
why, which is due to be installed in the Debian FTP archive:
why_2.10.dfsg.2-1.diff.gz
to pool/main/w/why/why_2.10.dfsg.2-1.diff.gz
why_2.10.dfsg.2-1.dsc
to pool/main/w/why/why_2.10.dfsg.2-1.dsc
why_2.10.dfsg.2-1_i386.deb
to pool/main/w/why/why_2.10.dfsg.2-1_i386.deb
why_2.10.dfsg.2.orig.tar.gz
to pool/main/w/why/why_2.10.dfsg.2.orig.tar.gz
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 why 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: Tue, 22 Jan 2008 09:45:16 +0100
Source: why
Binary: why
Architecture: source i386
Version: 2.10.dfsg.2-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
why - A software verification tool
Closes: 458267
Changes:
why (2.10.dfsg.2-1) unstable; urgency=low
.
[ Stefano Zacchiroli ]
* add vcs-* fields
.
[ Samuel Mimram ]
* New upstream release.
* Correctly detects ocamldep, closes: #458267.
* Updated watchfile.
Files:
c299f19ababae0434c142d472d460644 906 math optional why_2.10.dfsg.2-1.dsc
aee6b5bfd4a6b45c4ce38b3fd16c3607 1651719 math optional
why_2.10.dfsg.2.orig.tar.gz
9d2f0efb2d082575abc20908cf8a3fff 3512 math optional why_2.10.dfsg.2-1.diff.gz
9b7b6e382148c97d061945bead4b0e97 4883834 math optional
why_2.10.dfsg.2-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHla5xIae1O4AJae8RAriuAJ9aKDrude3j3XbX3gaF87KEHZVE0ACfTX/S
UOQBBNtPHOO9tvYGed8tGq0=
=Wncv
-----END PGP SIGNATURE-----
--- End Message ---
