Dear Jean-Christophe, Le 02/03/2023 à 13:08, Jean-Christophe Léchenet a écrit :
We were surprised to see that the last version of alt-ergo (2.4.2) is in Debian testing, while it is non-free. At the moment, the latest free version is 2.3.0. Is there some mechanism to extract the free subset of alt-ergo or something like that?
I was not aware of that. I've opened a bug report: https://bugs.debian.org/1032257 to track this issue. Cheers, -- Stéphane
