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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org