49 lines
1.5 KiB
Plaintext
49 lines
1.5 KiB
Plaintext
V "GNAT Lib v6"
|
|
A -gnatwa
|
|
A -nostdinc
|
|
A -O2
|
|
A -Wextra
|
|
A -Wall
|
|
A -g
|
|
A -gnatp
|
|
A -gnatg
|
|
A -mtune=generic
|
|
A -march=i586
|
|
P ZX
|
|
|
|
RN
|
|
RV SPARK_05
|
|
|
|
U ada.containers.prime_numbers%b a-coprnu.adb c24eaf4d NE OL PK
|
|
W ada.containers%s a-contai.ads a-contai.ali
|
|
|
|
U ada.containers.prime_numbers%s a-coprnu.ads 6d3af8ed NE OL PU PK
|
|
W ada.containers%s a-contai.ads a-contai.ali
|
|
|
|
D ada.ads 20070406091342 3ffc8e18 ada%s
|
|
D a-contai.ads 20151020122137 61e5e089 ada.containers%s
|
|
D a-coprnu.ads 20090409150019 0cdf1864 ada.containers.prime_numbers%s
|
|
D a-coprnu.adb 20090409150019 ce91b729 ada.containers.prime_numbers%b
|
|
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
|
|
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
|
|
X 1 ada.ads
|
|
16K9*Ada 19e8 3|35r9 51r5 4|30r14 58r5
|
|
X 2 a-contai.ads
|
|
16K13*Containers 1|16k9 2|24e19 3|35r13 51r9 4|30r18 58r9
|
|
19M9*Hash_Type 3|38r53 48r51 4|36r51 47r26
|
|
20I9*Count_Type<integer> 3|48r32 4|36r32
|
|
X 3 a-coprnu.ads
|
|
35K24*Prime_Numbers 2|16k13 3|51l20 51e33 4|30b29 58l20 58t33
|
|
38A9*Primes_Type(2|19M9)<integer> 40r22
|
|
40a4*Primes{38A9} 4|41r12 41r26 42r16 47r13 55r14
|
|
48V13*To_Prime{2|19M9} 48>23 4|36b13 56l8 56t16
|
|
48i23 Length{2|20I9} 4|36b23 47r37
|
|
X 4 a-coprnu.adb
|
|
37i7 I{integer} 41m7 43r13 44r15 49m13 49r18 51m13
|
|
37i10 J{integer} 44m10 45r23 49r22 51r18
|
|
37i13 K{integer} 45m10 47r21 48r22
|
|
38i7 Index{integer} 42m7 45r15 48m13 55r22
|
|
|