/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gmp-constants.ali is in libgmpada3-dev 0.0.20120331-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 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 | V "GNAT Lib v4.6"
A -O2
A -fPIC
A -fstack-protector
A -gnatA
A -g
A -gnatn
A -gnatw.e
A -gnatwH
A -mtune=generic
A -march=x86-64
P ZX
R nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnvnnnnnnnnnnnnnnnnnn
U gmp.constants%s gmp-constants.ads 13239fe6 NE OO PU PK IU
W gmp%s gmp.ads gmp.ali
D gmp.ads 20120412184706 9e1751f9
D gmp-constants.ads 20120412184805 8d34ce1f
D system.ads 20120311013944 23e1f70b
X 1 gmp.ads
17K9*GMP 21e8 2|5r9 33r5
X 2 gmp-constants.ads
5K13*Constants 1|17k9 2|33l9 33e18
7a4*Gmp_Version{string}
8N4*Mp_Bits_Per_Limb
9N4*Gnu_Mp_Version
10N4*Gnu_Mp_Version_Minor
11N4*Gnu_Mp_Version_Patchlevel
12N4*Mp_Exp_T_Size
13N4*Mp_Size_T_Size
14N4*Mp_Limb_T_Size
15N4*Mpz_Alloc_Start
16N4*Mpz_Alloc_Length
17N4*Mpz_Size_Start
18N4*Mpz_Size_Length
19N4*Mpz_D_Start
20N4*Mpz_D_Length
21N4*Sizeof_Mpq_T
22N4*Sizeof_Mpf_T
23N4*Sizeof_Gmp_Randstate_T
24N4*Sizeof_Mpfr_T
25N4*Mp_Prec_T_Size
26N4*Mpfr_Prec_Min
27N4*Mpfr_Prec_Max
28N4*Mp_Rnd_T_Size
29N4*Gmp_Rndn
30N4*Gmp_Rndz
31N4*Gmp_Rndu
32N4*Gmp_Rndd
|