Skip to content
GitLab
Explore
Sign in
Register
debian/2019-2
9c26b278
·
Rename libgpr{19,3-dev} to libgnatprj{7,7-dev}.
·
Dec 03, 2019