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