Hi, On Sun, Mar 05, 2017 at 11:37:09AM +0100, Michael Banck wrote: > Package: release.debian.org > Severity: normal > User: release.debian....@packages.debian.org > Usertags: binnmu > > nmu libarmci-mpi-dev_0.0~git20160222-1 . ALL . -m "Rebuild for PIE"
This binNMU is needed so that ga can be built against libarmci-mpi-dev, closing #816699. Michael
