/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gmp.ali is in libgmpada4-dev 0.0.20131223-1.
This file is owned by root:root, with mode 0o444.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 | V "GNAT Lib v4.6"
A -O2
A -fPIC
A -fstack-protector
A -g
A -gnatn
A -gnatA
P ZX
R nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnvnnnnnnnnnnnnnnnnnn
U gmp%s gmp.ads 9e1751f9 NE OO PU PK IU
D gmp.ads 20131223043056 9e1751f9
D system.ads 20130419124036 23e1f70b
X 1 gmp.ads
17K9*GMP 19r17 21l5 21e8
|