[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: