Bug#552988: marked as done (why-config doesn't recognize the version of Alt-Ergo)
Your message dated Thu, 29 Oct 2009 19:07:36 +0100
with message-id <4AE9D9E8.1020705@free.fr>
and subject line Closing bug #552988
has caused the Debian Bug report #552988,
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.)
--
552988: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=552988
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
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 ---
This bug is already open as bug #552776. submit@bugs.debian.org was very
slow to answer, this is why I submitted twice.
--- End Message ---
Reply to: