/usr/lib/ats-anairiats-0.2.5/prelude/CATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/array.cats
|
text/x-c
|
root:root
|
0o644
|
3.6 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/basics.cats
|
text/x-c
|
root:root
|
0o644
|
7.3 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/bool.cats
|
text/x-c
|
root:root
|
0o644
|
4.5 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/byte.cats
|
text/x-c
|
root:root
|
0o644
|
5.6 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/char.cats
|
text/x-c
|
root:root
|
0o644
|
6.8 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/float.cats
|
text/x-c
|
root:root
|
0o644
|
19.5 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/integer.cats
|
text/x-c
|
root:root
|
0o644
|
26.8 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/integer_fixed.cats
|
text/x-c
|
root:root
|
0o644
|
25.7 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/integer_ptr.cats
|
text/x-c
|
root:root
|
0o644
|
14.0 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/lazy.cats
|
text/plain
|
root:root
|
0o644
|
2.5 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/lazy_vt.cats
|
text/plain
|
root:root
|
0o644
|
2.3 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/list.cats
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/list_vt.cats
|
text/x-c
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/matrix.cats
|
text/x-c
|
root:root
|
0o644
|
2.2 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/option.cats
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/pointer.cats
|
text/x-c
|
root:root
|
0o644
|
5.5 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/printf.cats
|
text/x-c
|
root:root
|
0o644
|
3.2 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/reference.cats
|
text/x-c
|
root:root
|
0o644
|
2.3 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/sizetype.cats
|
text/x-c
|
root:root
|
0o644
|
14.0 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/CATS/string.cats
|
text/x-c
|
root:root
|
0o644
|
9.8 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/arith.dats
|
text/plain
|
root:root
|
0o644
|
8.4 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/array.dats
|
text/x-c
|
root:root
|
0o644
|
23.6 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/array0.dats
|
text/plain
|
root:root
|
0o644
|
6.3 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/array_v.dats
|
text/plain
|
root:root
|
0o644
|
6.8 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/basics.dats
|
text/x-c
|
root:root
|
0o644
|
3.8 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/bool.dats
|
text/plain
|
root:root
|
0o644
|
2.0 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/filebas.dats
|
text/x-c
|
root:root
|
0o644
|
9.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/float.dats
|
text/plain
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/integer.dats
|
text/plain
|
root:root
|
0o644
|
3.0 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/lazy.dats
|
text/plain
|
root:root
|
0o644
|
6.3 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/lazy_vt.dats
|
text/x-c
|
root:root
|
0o644
|
9.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/list.dats
|
text/plain
|
root:root
|
0o644
|
64.4 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/list0.dats
|
text/plain
|
root:root
|
0o644
|
10.0 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/list_vt.dats
|
text/plain
|
root:root
|
0o644
|
18.4 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/matrix.dats
|
text/x-c
|
root:root
|
0o644
|
13.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/matrix0.dats
|
text/x-c
|
root:root
|
0o644
|
8.7 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/option.dats
|
text/plain
|
root:root
|
0o644
|
2.4 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/option0.dats
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/option_vt.dats
|
text/plain
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/pointer.dats
|
text/plain
|
root:root
|
0o644
|
2.5 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/printf.dats
|
text/plain
|
root:root
|
0o644
|
3.9 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/ptrarr.dats
|
text/plain
|
root:root
|
0o644
|
1.8 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/reference.dats
|
text/plain
|
root:root
|
0o644
|
2.5 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/sizetype.dats
|
text/plain
|
root:root
|
0o644
|
2.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/string.dats
|
text/plain
|
root:root
|
0o644
|
12.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/syndef.dats
|
text/plain
|
root:root
|
0o644
|
3.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/unsafe.dats
|
text/plain
|
root:root
|
0o644
|
2.2 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/DATS/vsubrw.dats
|
text/plain
|
root:root
|
0o644
|
3.2 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/HATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats-anairiats-0.2.5/prelude/HATS/lmacrodef.hats
|
text/plain
|
root:root
|
0o644
|
2.7 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/HATS/number.hats
|
text/plain
|
root:root
|
0o644
|
9.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/HATS/syndef.hats
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/arith.sats
|
text/x-c
|
root:root
|
0o644
|
6.4 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/array.sats
|
text/x-c
|
root:root
|
0o644
|
19.6 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/array0.sats
|
text/x-c
|
root:root
|
0o644
|
3.6 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/bool.sats
|
text/x-c
|
root:root
|
0o644
|
5.5 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/byte.sats
|
text/plain
|
root:root
|
0o644
|
4.9 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/char.sats
|
text/x-c
|
root:root
|
0o644
|
8.6 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/extern.sats
|
text/x-c
|
root:root
|
0o644
|
3.2 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/filebas.sats
|
text/x-c
|
root:root
|
0o644
|
5.5 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/float.sats
|
text/x-c
|
root:root
|
0o644
|
17.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/integer.sats
|
text/x-c
|
root:root
|
0o644
|
31.2 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/integer_fixed.sats
|
text/x-c
|
root:root
|
0o644
|
23.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/integer_ptr.sats
|
text/x-c
|
root:root
|
0o644
|
12.9 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/lazy.sats
|
text/x-c
|
root:root
|
0o644
|
3.3 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/lazy_vt.sats
|
text/x-c
|
root:root
|
0o644
|
3.4 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/list.sats
|
text/x-c
|
root:root
|
0o644
|
27.4 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/list0.sats
|
text/x-c
|
root:root
|
0o644
|
5.8 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/list_vt.sats
|
text/x-c
|
root:root
|
0o644
|
7.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/matrix.sats
|
text/x-c
|
root:root
|
0o644
|
8.2 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/matrix0.sats
|
text/x-c
|
root:root
|
0o644
|
3.9 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/memory.sats
|
text/x-c
|
root:root
|
0o644
|
5.4 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/multiset.sats
|
text/x-c
|
root:root
|
0o644
|
3.8 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/number.sats
|
text/plain
|
root:root
|
0o644
|
4.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/option.sats
|
text/x-c
|
root:root
|
0o644
|
2.8 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/option0.sats
|
text/x-c
|
root:root
|
0o644
|
2.0 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/option_vt.sats
|
text/x-c
|
root:root
|
0o644
|
1.8 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/pointer.sats
|
text/x-c
|
root:root
|
0o644
|
9.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/printf.sats
|
text/x-c
|
root:root
|
0o644
|
4.2 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/ptrarr.sats
|
text/plain
|
root:root
|
0o644
|
2.2 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/reference.sats
|
text/x-c
|
root:root
|
0o644
|
4.3 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/sizetype.sats
|
text/x-c
|
root:root
|
0o644
|
15.4 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/string.sats
|
text/x-c
|
root:root
|
0o644
|
22.3 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/syndef.sats
|
text/plain
|
root:root
|
0o644
|
2.3 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/unsafe.sats
|
text/plain
|
root:root
|
0o644
|
2.7 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/SATS/vsubrw.sats
|
text/x-c
|
root:root
|
0o644
|
3.2 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/ats_main_prelude.dats
|
text/plain
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/basics_dyn.sats
|
text/x-c
|
root:root
|
0o644
|
14.5 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/basics_sta.sats
|
text/x-c
|
root:root
|
0o644
|
25.0 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/fixity.ats
|
text/x-c
|
root:root
|
0o644
|
2.6 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/macrodef.sats
|
text/x-c
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/params.hats
|
text/plain
|
root:root
|
0o644
|
2.1 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/params_system.hats
|
text/plain
|
root:root
|
0o644
|
1.8 KB
|
/usr/lib/ats-anairiats-0.2.5/prelude/sortdef.sats
|
text/x-c
|
root:root
|
0o644
|
2.8 KB
|