Bug#499140: marked as done (calls dp instead of why-dp)
Your message dated Wed, 17 Sep 2008 21:17:31 +0000
with message-id <E1Kg4Ox-0000An-8I@ries.debian.org>
and subject line Bug#499140: fixed in why 2.13-2
has caused the Debian Bug report #499140,
regarding calls dp instead of why-dp
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 owner@bugs.debian.org
immediately.)
--
499140: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499140
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: why
Version: 2.13-1
Severity: normal
Hi,
In c/cmake.ml, there are lines that run dp while they should run why-dp:
fprintf fmt "\t@@echo 'Running Simplify on proof obligations' && (dp -timeout $(TIMEOUT) $^)@\n@\n";
fprintf fmt "\t@@echo 'Running Ergo on proof obligations' && (dp -timeout $(TIMEOUT) $^)@\n@\n";
etc. (a number of other lines)
Sami
-- System Information:
Debian Release: lenny/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.26.3 (SMP w/4 CPU cores; PREEMPT)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages why depends on:
ii cpulimit 1.1-11 limits the cpu usage of a process
ii libatk1.0-0 1.22.0-1 The ATK accessibility toolkit
ii libc6 2.7-13 GNU C Library: Shared libraries
ii libcairo2 1.6.4-6 The Cairo 2D vector graphics libra
ii libglib2.0-0 2.16.5-1 The GLib library of C routines
ii libgtk2.0-0 2.12.11-3 The GTK+ graphical user interface
ii libpango1.0-0 1.20.5-2 Layout and rendering of internatio
why recommends no packages.
Versions of packages why suggests:
ii coq 8.1.pl3+dfsg-1+b2 proof assistant for higher-order l
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.13-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.13-2.diff.gz
to pool/main/w/why/why_2.13-2.diff.gz
why_2.13-2.dsc
to pool/main/w/why/why_2.13-2.dsc
why_2.13-2_i386.deb
to pool/main/w/why/why_2.13-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 499140@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Cristau <jcristau@debian.org> (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 ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 17 Sep 2008 21:45:11 +0200
Source: why
Binary: why
Architecture: source i386
Version: 2.13-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Cristau <jcristau@debian.org>
Description:
why - A software verification tool
Closes: 498485 499140
Changes:
why (2.13-2) unstable; urgency=low
.
[ Mehdi Dogguy ]
* Using why-cpulimit instead of cpulimit Debian package, closes: 498485.
* Renaming 'dp' into 'why-dp', closes: #499140.
* Remove unnecessary dependency : cpulimit.
Checksums-Sha1:
61a08bf7faf15fcba4c953d17d3a8aa662fc6f73 1363 why_2.13-2.dsc
65a8bc74d1c16f651af1fbdf4593da3035c2391b 5843 why_2.13-2.diff.gz
af039d8b8a778e0f76c2d5b7d91c4879c34d45af 4614976 why_2.13-2_i386.deb
Checksums-Sha256:
e1c24bbeec4b8786b316a5a36576bcf97b6e255b7c346f61202b6dfae827d480 1363 why_2.13-2.dsc
4db32ec80463244ea246c5ec393fbf442f7836f4cacdfde9dddd0214c91430aa 5843 why_2.13-2.diff.gz
783ccc63de50e031e2965cee06d0411e986c10caf5efcc1b3599251195698ad8 4614976 why_2.13-2_i386.deb
Files:
889ee6bad804a548d1b093f5f04cd131 1363 math optional why_2.13-2.dsc
877a9b50d152efab078dbd6300fbfd85 5843 math optional why_2.13-2.diff.gz
2b17c32b0d96faf027d98066425d0977 4614976 math optional why_2.13-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkjRZSoACgkQmEvTgKxfcAwCzQCeJ+/8+dl0RcZfx1brF5LF9iD5
oaoAni44fUQaiDwqVbtW84DI9tyVVXmm
=Sfub
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: