Skip to content
GitLab
Explore
Sign in
Register
gnat-gps-5.0-2
aa011357
·
* debian/control (Build-Depends): add libgmp-dev.
·
Dec 28, 2011