Source: z3 Severity: wishlist Hello
It would be great to move z3 debian packaging under a repo and make it team maintained. pkg-llvm could be a place as it is used by llvm/clang upstream (not yet in debian). https://salsa.debian.org/pkg-llvm-team I can take care of the move if you want. Sylvestre -- System Information: Debian Release: buster/sid APT prefers testing APT policy: (900, 'testing'), (600, 'unstable'), (500, 'buildd-unstable'), (500, 'stable'), (300, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 4.19.0-2-amd64 (SMP w/28 CPU cores) Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE 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)
