Package: why3 Version: 1.4.0-3 Severity: important In March, I removed the why3 1.4.0-3 on my machine, but I now have a dangling symlink:
/usr/share/emacs25/site-lisp/why3.el -> ../../emacs/site-lisp/why3.el This symlink should be removed when the package is removed. I don't know whether this has been fixed since... -- System Information: Debian Release: trixie/sid APT prefers unstable-debug APT policy: (500, 'unstable-debug'), (500, 'stable-security'), (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') merged-usr: no Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 6.1.0-9-amd64 (SMP w/12 CPU threads; PREEMPT) Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE Locale: LANG=POSIX, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages why3 depends on: ii libc6 2.36-9 ii libcairo2 1.16.0-7 pn libcairo2-ocaml-gl0g4 <none> ii libgdk-pixbuf-2.0-0 2.42.10+dfsg-1+b1 ii libglib2.0-0 2.74.6-2 ii libgtk-3-0 3.24.37-2 pn libgtksourceview-3.0-1 <none> pn liblablgtk3-ocaml-0um05 <none> pn liblablgtksourceview3-ocaml-3azu2 <none> ii libpango-1.0-0 1.50.12+ds-1 pn ocaml-base-4.13.1 <none> ii tex-common 6.18 ii zlib1g 1:1.2.13.dfsg-1 Versions of packages why3 recommends: pn cvc4 | spass | z3 | alt-ergo <none> Versions of packages why3 suggests: pn why3-examples <none> -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)