#1037512 why3: did not remove the /usr/share/emacs25/site-lisp/why3.el symlink on package removal

Package:
why3
Source:
why3
Description:
Software verification platform
Submitter:
Vincent Lefevre
Date:
2023-06-13 16:24:04 UTC
Severity:
normal
#1037512#5
Date:
2023-06-13 16:20:06 UTC
From:
To:
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...