Bug#816699: libga-dev and libarmci-mpi-dev: error when trying to install together

[Andreas Beckmann]

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