Your message dated Sat, 01 Sep 2007 22:32:05 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#430878: fixed in why 2.04.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: why
Version: 2.03.dfsg-1
Severity: wishlist
Hello,
I tried to check some simple program usign floats and discovered it
was impossible with why. The reason is that the file WhyFloats.v is
missing, which is caused by the float library missing during the
build. I think it should be possible to check programs with floats,
which could be accomplished by three ways:
Take the float library from http://coq.inria.fr/contribs/Float.tar.gz
and either
- add it to the coq-libs package, and make why build-dep on coq-libs
- make an extra package coq-lib-float, and -"-
- add this library to the why package itself
What do you think?
Regards
Jiri Palecek
-- System Information:
Debian Release: lenny/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: i386 (i686)
Kernel: Linux 2.6.20.3-rt8 (PREEMPT)
Locale: LANG=cs_CZ, LC_CTYPE=cs_CZ (charmap=ISO-8859-2) (ignored: LC_ALL
set to cs_CZ)
Shell: /bin/sh linked to /bin/dash
Versions of packages why depends on:
ii libatk1.0-0 1.18.0-2 The ATK accessibility toolkit
ii libc6 2.5-11 GNU C Library: Shared
libraries
ii libcairo2 1.4.6-1.1 The Cairo 2D vector graphics
libra
ii libfontconfig1 2.4.2-1.2 generic font configuration
library
ii libglib2.0-0 2.12.12-1 The GLib library of C routines
ii libgtk2.0-0 2.10.13-1 The GTK+ graphical user
interface
ii libpango1.0-0 1.16.4-1 Layout and rendering of
internatio
ii libx11-6 2:1.0.3-7 X11 client-side library
ii libxcursor1 1:1.1.8-2 X cursor management library
ii libxext6 1:1.0.3-2 X11 miscellaneous extension
librar
ii libxfixes3 1:4.0.3-2 X11 miscellaneous 'fixes'
extensio
ii libxi6 1:1.0.1-4 X11 Input extension library
ii libxinerama1 1:1.0.2-1 X11 Xinerama extension library
ii libxrandr2 2:1.2.1-1 X11 RandR extension library
ii libxrender1 1:0.9.2-1 X Rendering Extension client
libra
why recommends no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.04.dfsg-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.04.dfsg-2.diff.gz
to pool/main/w/why/why_2.04.dfsg-2.diff.gz
why_2.04.dfsg-2.dsc
to pool/main/w/why/why_2.04.dfsg-2.dsc
why_2.04.dfsg-2_i386.deb
to pool/main/w/why/why_2.04.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 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: Thu, 30 Aug 2007 13:06:52 +0200
Source: why
Binary: why
Architecture: source i386
Version: 2.04.dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
why - A software verification tool
Closes: 430878
Changes:
why (2.04.dfsg-2) unstable; urgency=low
.
* Build-depend on libfloat-coq and enable float support, closes: #430878.
Files:
e36b86935f87054543e7b48ee7026d31 648 math optional why_2.04.dfsg-2.dsc
8e2b61339c485b56133a256c3446dfc5 2814 math optional why_2.04.dfsg-2.diff.gz
8d535d590866f847333b4ae6897b9a9e 3582672 math optional why_2.04.dfsg-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFG2eTIIae1O4AJae8RAtxCAJ4/w8urN6x/qzVyTbE6Jfl7yuJ3gwCfYyeb
pOn4Z1llbCCKgUtIC6mP6TE=
=Zn3S
-----END PGP SIGNATURE-----
--- End Message ---
