Package: mediawiki,vistrails
Severity: important
Please consider the following interaction on a sid system:
# apt install mediawiki
...
# apt install vistrails
...
# apt remove mediawiki
...
# dpkg --verify
missing /usr/share/mediawiki/extensions/vistrails
missing /usr/share/mediawiki/extensions/vistrails/README
missing /usr/share/mediawiki/extensions/vistrails/download.php
missing /usr/share/mediawiki/extensions/vistrails/functions.php
missing /usr/share/mediawiki/extensions/vistrails/vistrailsExtension.php
#
/usr/share/mediawiki/extensions is a symbolic link in mediawiki. Thus
installing mediawiki first causes the files to be redirected elsewhere.
When we remove mediawiki, they are deleted and thus missing.
Fundamentally, this is an aliasing problem.
/usr/share/mediawiki/extensions should either become a real directory in
mediawiki or must not be installed to by vistrails. Please figure out
which package needs to change.
Helmut