gprbuild-dbgsym 2018-5 (arm64 binary) in ubuntu disco

Details

Package version:
2018-5
Source:
gprbuild 2018-5 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional

Package relationships