debian/2018-7
52782cf4 · Rename libgpr.(a|so) to libgnatprj. Closes: #945197. ·