Bug#909494: z3: Re: Bug#909494: (no subject)

[Sylvestre Ledru]

Le 07/08/2019 à 20:05, Daniel Kirchner a écrit :
> 4.4.1 is almost four years old now and the current releases are stable and
> contain significant enhancements - is there any reason why this package doesn't
> seem to receive any updates? Is there some way to help with this?
I started the work to bring it up to date but I haven't finished the work.
Any help would be appreciated.

Cheers
S