Bug#552988: why-config doesn't recognize the version of Alt-Ergo
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
Reply to: