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

Reply via email to