Package: alt-ergo Version: 2.0.0-7+b4 Severity: minor I'd send a merge request but I don't know what the proper fix is here. The alt-ergo package Suggests: why, but it seems like why is provided by the why3 package. Either the Suggests should be fixed, or why3 should provide the why virtual package. -- System Information: Debian Release: bullseye/sid APT prefers testing APT policy: (500, 'testing'), (2, 'unstable'), (1, 'testing-debug'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 5.9.0-4-amd64 (SMP w/2 CPU threads) Kernel taint flags: TAINT_USER, TAINT_WARN, TAINT_FIRMWARE_WORKAROUND Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages alt-ergo depends on: ii libc6 2.31-5 ii libgmp10 2:6.2.1+dfsg-1 ii libnum-ocaml [libnum-ocaml-80ki3] 1.4-1 ii ocaml-base-nox [ocaml-base-nox-4.11.1] 4.11.1-4 ii zlib1g 1:1.2.11.dfsg-2 alt-ergo recommends no packages. Versions of packages alt-ergo suggests: pn why <none> -- no debconf information
Attachment:
signature.asc
Description: This is a digitally signed message part.