Note that it was not clear from the bug report that it was installing broken symlinks that it should not have. I assumed it was installing expected broken symlinks, like a /usr/share/singular/doc symlink to /usr/share/doc/singular, that's why I provided the information so you know what's going on, and closed the bug as that would have been expected.
Note that it was not clear from the bug report that it was installing broken symlinks that it should not have. I assumed it was installing expected broken symlinks, like a /usr/share/ singular/ doc symlink to /usr/share/ doc/singular, that's why I provided the information so you know what's going on, and closed the bug as that would have been expected.