On Thu, Feb 21, 2019 at 05:33:25PM +0100, Celelibi wrote: > Package: boolector > Version: 1.5.118.6b56be4.121013-1+b1 > Severity: normal > > Dear Maintainer, > > > Could you please consider upgrading the packaged version of boolector? > I guess it was frozen to version 1.5.118 because of the license change. > But the version 3.0 is now under the MIT license, which is > Debian-compatible AFAIK.
Any update on this? The latest version is 3.2.1 in the mean time, while we're stuck on a version from 2012. Kurt