Skip to content
GitLab
Explore
Sign in
Register
gnat-gps-5.3-1
ac5bbe44
·
* debian/gnat-gps-{common,doc}.install: adjust to upstream changes.
·
Jul 06, 2014