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. Best regards, Celelibi -- System Information: Debian Release: buster/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 4.18.0-2-amd64 (SMP w/2 CPU cores) Kernel taint flags: TAINT_WARN Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages boolector depends on: ii libc6 2.28-7 boolector recommends no packages. boolector suggests no packages. -- no debconf information
