Skip to content
GitLab
Explore
Sign in
Register
debian/1.06.2-3
7d4333ce
·
Build with gnat-10. Rename lib and -dev package accordingly.
·
May 23, 2020