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'), (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.18.0-1-amd64 (SMP w/8 CPU cores) Locale: LANG=it_IT.utf8, LC_CTYPE=it_IT.utf8 (charmap=UTF-8), LANGUAGE=it_IT.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages z3 depends on: ii libc6 2.27-6 ii libgcc1 1:8.2.0-7 ii libgomp1 8.2.0-7 ii libstdc++6 8.2.0-7 z3 recommends no packages. z3 suggests no packages. -- no debconf information