/usr/share/ada/adainclude/gmpada/gmp-constants.ads is in libgmpada7-dev 1.1-2.
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 | -- Generated by the C program obj/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 := "6.1.2";
Mp_Bits_Per_Limb : constant := 64;
Gnu_Mp_Version : constant := 6;
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;
end GMP.Constants;
|