Bug#552776: marked as done (why-config doesn't recognize the version of Alt-Ergo)
Your message dated Sun, 24 Jan 2010 23:06:27 +0000
with message-id <E1NZBXH-0007lw-De@ries.debian.org>
and subject line Bug#552776: fixed in why 2.23+dfsg-1
has caused the Debian Bug report #552776,
regarding why-config doesn't recognize the version of Alt-Ergo
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.)
--
552776: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=552776
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: why-config doesn't recognize the version of Alt-Ergo
- From: Nicolas Bonifas <nicolas.bonifas@free.fr>
- Date: Wed, 28 Oct 2009 01:02:46 +0100
- Message-id: <20091028000246.27661.42589.reportbug@ordi>
Package: why
Version: 2.19+dfsg-2
Severity: minor
why-config prints the following message when detecting the available solvers:
Warning: found prover Alt-Ergo but name/version not recognized by regexp `Ergo \([^ ]*\)'
Answer was `Alt-Ergo 0.9'
-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.6.30-2-686 (SMP w/1 CPU core)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages why depends on:
ii libatk1.0-0 1.28.0-1 The ATK accessibility toolkit
ii libc6 2.9-25 GNU C Library: Shared libraries
ii libcairo2 1.8.8-2 The Cairo 2D vector graphics libra
ii libfontconfig1 2.6.0-4 generic font configuration library
ii libfreetype6 2.3.9-5 FreeType 2 font engine, shared lib
ii libglib2.0-0 2.22.0-1 The GLib library of C routines
ii libgtk2.0-0 2.16.6-1 The GTK+ graphical user interface
ii libpango1.0-0 1.26.0-1 Layout and rendering of internatio
Versions of packages why recommends:
ii alt-ergo 0.9-1+b1 Automatic theorem prover dedicated
Versions of packages why suggests:
ii libwhy-coq 2.19+dfsg-2 Why library for Coq
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.23+dfsg-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:
libwhy-coq_2.23+dfsg-1_all.deb
to main/w/why/libwhy-coq_2.23+dfsg-1_all.deb
why-examples_2.23+dfsg-1_all.deb
to main/w/why/why-examples_2.23+dfsg-1_all.deb
why_2.23+dfsg-1.diff.gz
to main/w/why/why_2.23+dfsg-1.diff.gz
why_2.23+dfsg-1.dsc
to main/w/why/why_2.23+dfsg-1.dsc
why_2.23+dfsg-1_armel.deb
to main/w/why/why_2.23+dfsg-1_armel.deb
why_2.23+dfsg.orig.tar.gz
to main/w/why/why_2.23+dfsg.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 552776@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@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: SHA256
Format: 1.8
Date: Sun, 24 Jan 2010 17:31:23 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source armel all
Version: 2.23+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
libwhy-coq - Why library for Coq
why - A software verification tool
why-examples - Examples of programs certified with Why
Closes: 552776
Changes:
why (2.23+dfsg-1) unstable; urgency=low
.
[ Mehdi Dogguy ]
* New upstream release
+ Remove makefile.in.dpatch (fixed upstream)
+ Remove jessie_lib.dpatch (not needed anymore)
+ Needs ocamlgraph 1.3
+ Fixes detection of Alt-Ergo (Closes: #552776).
* Refresh packaging
+ Use dh 7 features
+ Build-depend on quilt (goodbye dpatch!)
+ Add ${ocaml:Depends} in Why's Depends field
+ Add 0001-Do-not-run-tests-on-non-existant-files.patch
* Fix some spelling errors
+ Add 0003-Fix-spelling-errors.patch
* Fix FTBFS on bytecode architectures
+ Add 0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch
+ Apron also needs oct.cmxa (0002-Enable-Apron-support.patch)
+ Generate Jessie.cma
* Fix debhelper-but-no-misc-depends
* Fix out-of-date-standards-version
* Set filter-pristine-tar to True in debian/gbp.conf
* Remove libjessie-ocaml-dev which is no longer user by Frama-C and
don't install the Jessie library.
* Update copyright file
* Add camlidl to Build-depends: needed to enable Arpon support
.
[ Samuel Mimram ]
* Enable apron support.
+ Add 0002-Enable-Apron-support.patch
Checksums-Sha1:
241fa1f4be6506dd9c2f05a0d0c261fd448198c8 2185 why_2.23+dfsg-1.dsc
b5d489add1e64f0d03ee52b41773a9e0afaba279 2492649 why_2.23+dfsg.orig.tar.gz
c005245b9ab00dd5c50541b7da9d8e1ad2d4d07f 9066 why_2.23+dfsg-1.diff.gz
57703897d7e2b434eba0ef91b8b16716d9c65fe9 14437212 why_2.23+dfsg-1_armel.deb
6169102e011d089c3bed77d51febe35e954ab07d 185488 why-examples_2.23+dfsg-1_all.deb
7b1b992fcb513e4065e539f5379567b63212d75b 414442 libwhy-coq_2.23+dfsg-1_all.deb
Checksums-Sha256:
91d14e2a600ed4a35b0f34f6791daca56d41d0e97a0ca20b55720ed3cc04cee4 2185 why_2.23+dfsg-1.dsc
f169551e3aabe830b11cc749d9f40878774af3fb9ffbd9a2479d5656cbc2e06e 2492649 why_2.23+dfsg.orig.tar.gz
bccaf68c8c35c91f47c45a8ce2ca0554169580c042ab45de41a107022f7760b5 9066 why_2.23+dfsg-1.diff.gz
2bb97575a953df41a50500864d474f0ded285daab2e6877ee62a873573b7de77 14437212 why_2.23+dfsg-1_armel.deb
bc35e5d132c703b136f0193f06e3ddaca5516af556455416c8355be421a6e842 185488 why-examples_2.23+dfsg-1_all.deb
da3f0ff1658f25eef318df6817289a89c2c8d3f4a74f56a425186b76a9852e29 414442 libwhy-coq_2.23+dfsg-1_all.deb
Files:
93b72bbf683778ccace345fc9c0a97f0 2185 math optional why_2.23+dfsg-1.dsc
bf3ae187ee707e9841414fca56d08096 2492649 math optional why_2.23+dfsg.orig.tar.gz
c0cb06b7f25cb6ad508efada8e605ed9 9066 math optional why_2.23+dfsg-1.diff.gz
4bcf47256d34a2196a4cdbe6149340b9 14437212 math optional why_2.23+dfsg-1_armel.deb
c0036363c2a6a4bd49ebea75c8dbf622 185488 doc optional why-examples_2.23+dfsg-1_all.deb
b53e2795336b0f18ebfa974c85669156 414442 libdevel optional libwhy-coq_2.23+dfsg-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJLXM7CAAoJEDO+GgqMLtj/GNAQAIA/mpYxM45nL+zAaPZNDDB4
V8qYB9HY35CTCIBJLQ1np0rjpR0UuoxOJrHTzhjmuk70hAGxP1RKu0LuorG0XXXC
wbg5P7dgMFEItAnDRXdPpscP8Wm3Xiterr8ZF/+YYJux71JJ3xjKobER2cIX0tCI
ZpnhoTHGY7H5Qw1x8uYP6P5ubalDFux4CbRumpueBieIUWEsAyX8lQz31urcSXIe
IgLay9TdGYI5q1K3hQXdjfzSukQfBXWcIIWLdc4dZmme5Bvr3vupvMIXkgwLCTEG
ojRrfxh/xz53AdEDeptiAQkA9n7yxP92jGUkDq4xUiPfVDWvAU1z9V+95mtNzdpg
fZlwjpdU9Bn6eoFTTro7GV2o7NufYBvVNBvL10aZTm+Tblo3Xor9zukA3CyzDLhk
xquyPlScZwhtkwvPHkhQ9AxvlaWSjhFXip8m1H6H+sKB3wwhDtQcWxM/kZtf8J7W
jQa43w7yovdQgYIImJWM+Q3ZXIOxKwJbkDfOH3xSQPJ76HNts2fuo16zyRv0v0MC
d7LiJ7xJptkb5CTHsI3NHlZpxyLEp8CJDiE3eEVFeamWUN+DwxjEKCOa0cwbFT2i
eh0BChZ3+q5rb7qRHop9YjzePYDiKuF9ytdokwn16xrNxKl0Rk4aTh4tNX5EVgPo
ahGk7Bw1y1MbWpZemi71
=nuCB
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: