/usr/share/ada/adainclude/gmpada/gmp-constants.ads is in libgmpada4-dev 0.0.20131223-1.
This file is owned by root:root, with mode 0o644.
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 | -- Generated by the C program ./generate_constants.c.
-- Do not edit this file directly.
-- The values provided here may vary on your system.
package GMP.Constants is
pragma Pure;
Gmp_Version : constant String := "5.1.2";
Mp_Bits_Per_Limb : constant := 64;
Gnu_Mp_Version : constant := 5;
Gnu_Mp_Version_Minor : constant := 1;
Gnu_Mp_Version_Patchlevel : constant := 2;
Mp_Exp_T_Size : constant := 64;
Mp_Size_T_Size : constant := 64;
Mp_Limb_T_Size : constant := 64;
Mpz_Alloc_Start : constant := 0;
Mpz_Alloc_Length : constant := 32;
Mpz_Size_Start : constant := 4;
Mpz_Size_Length : constant := 32;
Mpz_D_Start : constant := 8;
Mpz_D_Length : constant := 64;
Sizeof_Mpq_T : constant := 32;
Sizeof_Mpf_T : constant := 24;
Sizeof_Gmp_Randstate_T : constant := 32;
Sizeof_Mpfr_T : constant := 32;
Mp_Prec_T_Size : constant := 64;
Mpfr_Prec_Min : constant := 2;
Mpfr_Prec_Max : constant := 9223372036854775807;
Mp_Rnd_T_Size : constant := 32;
Gmp_Rndn : constant := 0;
Gmp_Rndz : constant := 1;
Gmp_Rndu : constant := 2;
Gmp_Rndd : constant := 3;
end GMP.Constants;
|