Your message dated Wed, 28 May 2008 23:02:07 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#478501: fixed in why 2.11-2
has caused the Debian Bug report #478501,
regarding why - FTBFS: no: 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 [EMAIL PROTECTED]
immediately.)
--
478501: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=478501
Debian Bug Tracking System
Contact [EMAIL PROTECTED] with problems
--- Begin Message ---
Package: why
Version: 2.11-1
Severity: serious
There was an error while trying to autobuild your package:
> Automatic build of why_2.11-1 on lxdebian.bfinv.de by sbuild/s390 98
[...]
> ocamlc -w Aelyz -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix
> -I ml -I +lablgtk2 -I +threads -I ocamlgraph -pack -o jc/jc.cmo src/lib.cmo
> src/rc.cmo src/loc.cmo src/pp.cmo src/option_misc.cmo jc/output.cmo
> jc/jc_version.cmo jc/jc_common_options.cmo jc/jc_envset.cmo jc/jc_region.cmo
> jc/jc_pervasives.cmo jc/jc_iterators.cmo jc/jc_poutput.cmo jc/jc_output.cmo
> Ocamlopt src/lib.ml
> /bin/sh: no: command not found
> make[1]: *** [src/lib.cmx] Error 127
> make[1]: Leaving directory `/build/buildd/why-2.11'
> make: *** [build-stamp] Error 2
> dpkg-buildpackage: failure: debian/rules build gave error exit status 2
> ******************************************************************************
> Build finished at 20080422-1003
> FAILED [dpkg-buildpackage died]
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.11-2
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.11-2.diff.gz
to pool/main/w/why/why_2.11-2.diff.gz
why_2.11-2.dsc
to pool/main/w/why/why_2.11-2.dsc
why_2.11-2_i386.deb
to pool/main/w/why/why_2.11-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.
Mehdi Dogguy <[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.8
Date: Mon, 05 May 2008 18:56:31 +0200
Source: why
Binary: why
Architecture: source i386
Version: 2.11-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <[EMAIL PROTECTED]>
Changed-By: Mehdi Dogguy <[EMAIL PROTECTED]>
Description:
why - A software verification tool
Closes: 478501
Changes:
why (2.11-2) unstable; urgency=low
.
* Fix install target and JCLIB value in the Makefile, closes: #478501.
* Update maintainer and uploders fields in debian/control.
* Fix missing dependency (cpulimit).
* Reinclude gwhy.sh
* Add configure.dpatch to correctly detect ocamlopt.
* Add myself to uploaders.
Checksums-Sha1:
b2bbe63d8ec50240acfc484adfa1d2ccddac559e 1355 why_2.11-2.dsc
e87fa616e18c9dd30f65006a3829806b6811ca2b 4313 why_2.11-2.diff.gz
3198ba75562e88bf2e7f014eaa98583fd7d3334e 4252308 why_2.11-2_i386.deb
Checksums-Sha256:
beb81d1530ae18332adea06295df5fd6544d6ff0521c46a708e5a6625ab896c1 1355
why_2.11-2.dsc
252852ac11d55351d442a90bd4ff1a4f2c1d129a424c2df3f6a62257e306b5f2 4313
why_2.11-2.diff.gz
fb501f9ea5661fca9c65309ce6c4f2f3a013cfb47a6fb43e536cc33b48e11e2b 4252308
why_2.11-2_i386.deb
Files:
c10596c58d118592b630d2a14ba073ac 1355 math optional why_2.11-2.dsc
5e387c941df3ec0aca3888b3515e7143 4313 math optional why_2.11-2.diff.gz
73db99726c1e38623b703693e7cbf15b 4252308 math optional why_2.11-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFIPeDJIae1O4AJae8RAtKFAKCA52EuV0V7+Yl8UgT3klI5IoSf0ACcDyBQ
jMu8NIvvwKh9v6XjaszGHfE=
=hKcc
-----END PGP SIGNATURE-----
--- End Message ---
