Bug#1037512: why3: did not remove the /usr/share/emacs25/site-lisp/why3.el symlink on package removal
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 <vincent@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)
Reply to: