Bug#816699: libga-dev and libarmci-mpi-dev: error when trying to install together
Andreas Beckmann
anbe at debian.org
Sun Feb 19 14:20:04 UTC 2017
Followup-For: Bug #816699
Neither src:armci-mpi nor src:ga have rdepends or reverse build-depends in
stretch, so removing them both from stetch would be OK if this file
conflict is not solved.
Andreas
More information about the debian-science-maintainers
mailing list