Bug#1032257: alt-ergo free and non-free

[Stéphane Glondu <glondu@debian.org>]

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