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

2019-08-08 Thread 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 brin

Bug#909494: (no subject)

2019-08-07 Thread Daniel Kirchner
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? signature.asc Description: This is a digitally signed message part.

Bug#909494:

2018-12-02 Thread Roman Lebedev
Version 4.8.3 is out. It would be super great to update. Some software (e.g. https://github.com/AliveToolkit/alive2) needs this new functionality Roman.

Bug#909494: z3: Please update to last version

2018-09-24 Thread Giovanni Mascellani
Package: z3 Version: 4.4.1-0.4 Severity: wishlist Dear Maintainer, version 4.7.1 of Z3 has been released. It would be nice to have it on Debian! Thanks for you work, Giovanni. -- System Information: Debian Release: buster/sid APT prefers unstable-debug APT policy: (500, 'unstable-debug'),