/usr/lib/ada/adalib/aunit/aunit-assertions.ali is in libaunit2-dev 1.03-7.
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 51 52 53 54 55 56 57 | V "GNAT Lib v4.6"
A -O2
A -fPIC
A -g
A -gnat05
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P ZX
R nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnvnnnnnnnnnnnnnnnnvnvnnnnnnnnnnnnnnnn
U aunit.assertions%b aunit-assertions.adb 682e30e3 NE OO PK
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W aunit%s aunit.ads aunit.ali
W interfaces%s interfac.ads interfac.ali
U aunit.assertions%s aunit-assertions.ads 848a5c7f EE OO PK
W aunit%s aunit.ads aunit.ali
W system%s system.ads system.ali
W system.exception_table%s s-exctab.adb s-exctab.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
D ada.ads 20070406091342 3ffc8e18
D a-except.ads 20090727140100 0c711ac9
D a-unccon.ads 20070406091342 f9eb8f06
D aunit.ads 20060917220701 78569829
D aunit-assertions.ads 20060917220701 fcdcc456
D aunit-assertions.adb 20060917220701 9883ee7c
D interfac.ads 20090409150019 f77d8799
D system.ads 20120416214251 23e1f70b
D s-exctab.ads 20090417131547 66e51330
D s-exctab.adb 20090417131547 ba1a43ac
D s-htable.ads 20101011104304 efdfacdf
D s-parame.ads 20091130110856 9c5d83fa
D s-soflin.ads 20090729085153 9414c974
D s-stache.ads 20090417130712 596fc1b4
D s-stalib.ads 20101021102512 c4241c00
D s-stoele.ads 20090417130712 facd7d98
D s-stoele.adb 20100617152355 afc5dc80
D s-traent.ads 20090417130712 5221ee41
X 1 ada.ads
16K9*Ada 19e8 6|26r6 26r26
X 2 a-except.ads
55K13*Exceptions 370e19 6|26w10 26r30
95U14*Raise_Exception 6|31s10
X 4 aunit.ads
27K9*AUnit 29e10 5|28r9 33r5 6|27r14 35r5
X 5 aunit-assertions.ads
28K15*Assertions 4|27k9 5|33l11 33e21 6|27b20 35l11 35t21
30X4*Assertion_Error 6|31r27
32U14*Assert 32>22 32>43 6|28b14 33l8 33t14
32b22 Condition{boolean} 6|28b22 30r14
32s43 Message{string} 6|28b43 31r53
|