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
