Processed: Re: libmpich-dev: leaves alternatives after purge: /etc/alternatives/mpi-<triplet>
Debian Bug Tracking System
owner at bugs.debian.org
Thu Apr 8 10:39:05 BST 2021
Processing control commands:
> severity -1 serious
Bug #986599 [libmpich-dev] libmpich-dev: leaves alternatives after purge: /etc/alternatives/mpi-<triplet>
Severity set to 'serious' from 'important'
> tag -1 patch
Bug #986599 [libmpich-dev] libmpich-dev: leaves alternatives after purge: /etc/alternatives/mpi-<triplet>
Added tag(s) patch.
--
986599: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=986599
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the debian-science-maintainers
mailing list