/usr/
|
|
root:root
|
0o755
|
|
/usr/bin/
|
|
root:root
|
0o755
|
|
/usr/bin/patscc
|
text/x-shellscript
|
root:root
|
0o755
|
662 bytes
|
/usr/bin/patsopt
|
text/x-shellscript
|
root:root
|
0o755
|
666 bytes
|
/usr/lib/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/bin/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/bin/patscc
|
application/x-executable
|
root:root
|
0o755
|
22.3 KB
|
/usr/lib/ats2-postiats-0.1.3/bin/patsopt
|
application/x-executable
|
root:root
|
0o755
|
1.4 MB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/ccomp/atslib/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/ccomp/atslib/lib/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/ccomp/atslib/lib64/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/ccomp/atslib/lib/libatslib.a
|
application/x-archive
|
root:root
|
0o644
|
114.4 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/atslib/output/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_basics.h
|
text/x-c
|
root:root
|
0o644
|
3.8 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_config.h
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_exception.h
|
text/x-c
|
root:root
|
0o644
|
4.1 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_instrset.h
|
text/plain
|
root:root
|
0o644
|
10.7 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_memalloca.h
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_memalloc_gcbdw.h
|
text/x-c
|
root:root
|
0o644
|
3.4 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_memalloc.h
|
text/x-c
|
root:root
|
0o644
|
3.3 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_memalloc_libc.h
|
text/x-c
|
root:root
|
0o644
|
3.4 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_runtime2_dats.c
|
text/x-c
|
root:root
|
0o644
|
11.7 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_runtime.c
|
text/x-c
|
root:root
|
0o644
|
4.0 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_runtime_memalloc.c
|
text/x-c
|
root:root
|
0o644
|
2.4 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_runtime_trywith.c
|
text/x-c
|
root:root
|
0o644
|
2.2 KB
|
/usr/lib/ats2-postiats-0.1.3/ccomp/runtime/pats_ccomp_typedefs.h
|
text/x-c
|
root:root
|
0o644
|
4.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/DATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/DATS/funheap_binomial.dats
|
text/plain
|
root:root
|
0o644
|
10.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/DATS/funheap_braun.dats
|
text/plain
|
root:root
|
0o644
|
6.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/DATS/funmset_listord.dats
|
text/plain
|
root:root
|
0o644
|
12.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/DATS/funset_listord.dats
|
text/plain
|
root:root
|
0o644
|
11.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/DATS/linset_listord.dats
|
text/plain
|
root:root
|
0o644
|
9.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/SATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/SATS/funheap_binomial.sats
|
text/plain
|
root:root
|
0o644
|
2.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/SATS/funheap_braun.sats
|
text/plain
|
root:root
|
0o644
|
3.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/SATS/funmset_listord.sats
|
text/plain
|
root:root
|
0o644
|
3.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/SATS/funset_listord.sats
|
text/plain
|
root:root
|
0o644
|
3.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ATS1/SATS/linset_listord.sats
|
text/plain
|
root:root
|
0o644
|
5.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/CATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/CATS/deqarray.cats
|
text/x-c
|
root:root
|
0o644
|
6.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/CATS/dynarray.cats
|
text/x-c
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/CATS/hashfun.cats
|
text/plain
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/CATS/qlist.cats
|
text/x-c
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/CATS/stkarray.cats
|
text/x-c
|
root:root
|
0o644
|
4.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/CATS/stringbuf.cats
|
text/x-c
|
root:root
|
0o644
|
2.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/athread.dats
|
text/plain
|
root:root
|
0o644
|
3.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/athread_posix.dats
|
text/x-c
|
root:root
|
0o644
|
6.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/deqarray.dats
|
text/x-c
|
root:root
|
0o644
|
10.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/dllist.dats
|
text/x-c
|
root:root
|
0o644
|
17.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/dynarray.dats
|
text/x-c
|
root:root
|
0o644
|
11.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/fundeque_fngtree.dats
|
text/x-c
|
root:root
|
0o644
|
35.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/funmap_avltree.dats
|
text/x-c
|
root:root
|
0o644
|
14.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/funmap_list.dats
|
text/x-c
|
root:root
|
0o644
|
4.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/funralist_nested.dats
|
text/x-c
|
root:root
|
0o644
|
9.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/funset_avltree.dats
|
text/x-c
|
root:root
|
0o644
|
19.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/funset_listord.dats
|
text/x-c
|
root:root
|
0o644
|
12.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/gfarray.dats
|
text/plain
|
root:root
|
0o644
|
6.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/gflist.dats
|
text/plain
|
root:root
|
0o644
|
5.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/gflist_vt.dats
|
text/x-c
|
root:root
|
0o644
|
8.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/gnode.dats
|
text/plain
|
root:root
|
0o644
|
7.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/hashfun.dats
|
text/plain
|
root:root
|
0o644
|
2.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/hashtbl_chain.dats
|
text/x-c
|
root:root
|
0o644
|
13.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/hashtbl_linprb.dats
|
text/x-c
|
root:root
|
0o644
|
14.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/ilist_prf.dats
|
text/plain
|
root:root
|
0o644
|
15.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/lindeque_dllist.dats
|
text/x-c
|
root:root
|
0o644
|
5.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linheap_binomial2.dats
|
text/x-c
|
root:root
|
0o644
|
15.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linheap_binomial.dats
|
text/x-c
|
root:root
|
0o644
|
13.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linmap_avltree.dats
|
text/x-c
|
root:root
|
0o644
|
18.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linmap_list.dats
|
text/x-c
|
root:root
|
0o644
|
8.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linmap_randbst.dats
|
text/x-c
|
root:root
|
0o644
|
13.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linmap_skiplist.dats
|
text/x-c
|
root:root
|
0o644
|
20.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linralist_nested.dats
|
text/x-c
|
root:root
|
0o644
|
7.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linset_avltree.dats
|
text/x-c
|
root:root
|
0o644
|
16.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/linset_listord.dats
|
text/x-c
|
root:root
|
0o644
|
9.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/qlist.dats
|
text/x-c
|
root:root
|
0o644
|
8.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/refcount.dats
|
text/plain
|
root:root
|
0o644
|
3.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/fundeque.hats
|
text/plain
|
root:root
|
0o644
|
3.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/funmap.hats
|
text/plain
|
root:root
|
0o644
|
4.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/funralist.hats
|
text/plain
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/funset.hats
|
text/plain
|
root:root
|
0o644
|
5.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/hashtbl.hats
|
text/plain
|
root:root
|
0o644
|
5.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/linheap.hats
|
text/plain
|
root:root
|
0o644
|
2.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/linmap.hats
|
text/plain
|
root:root
|
0o644
|
5.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/linmap_node.hats
|
text/plain
|
root:root
|
0o644
|
2.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/linset.hats
|
text/plain
|
root:root
|
0o644
|
3.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/SHARE/linset_node.hats
|
text/plain
|
root:root
|
0o644
|
3.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/sllist.dats
|
text/x-c
|
root:root
|
0o644
|
14.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/stkarray.dats
|
text/x-c
|
root:root
|
0o644
|
5.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/DATS/stringbuf.dats
|
text/x-c
|
root:root
|
0o644
|
15.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/CATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/CATS/array0.cats
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/CATS/strarr.cats
|
text/x-c
|
root:root
|
0o644
|
2.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/array0.dats
|
text/x-c
|
root:root
|
0o644
|
11.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/filebas.dats
|
text/plain
|
root:root
|
0o644
|
3.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/filebas_dirent.dats
|
text/plain
|
root:root
|
0o644
|
3.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/funmap.dats
|
text/plain
|
root:root
|
0o644
|
2.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/funset.dats
|
text/plain
|
root:root
|
0o644
|
5.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/hashtblref.dats
|
text/x-c
|
root:root
|
0o644
|
5.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/intrange.dats
|
text/plain
|
root:root
|
0o644
|
2.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/list0.dats
|
text/x-c
|
root:root
|
0o644
|
19.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/matrix0.dats
|
text/plain
|
root:root
|
0o644
|
6.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/monad_list.dats
|
text/x-c
|
root:root
|
0o644
|
2.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/monad_maybe.dats
|
text/x-c
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/option0.dats
|
text/plain
|
root:root
|
0o644
|
2.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/SHARE/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/SHARE/monad.hats
|
text/plain
|
root:root
|
0o644
|
3.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/stdlib.dats
|
text/plain
|
root:root
|
0o644
|
2.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/strarr.dats
|
text/x-c
|
root:root
|
0o644
|
9.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/DATS/string.dats
|
text/x-c
|
root:root
|
0o644
|
5.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/array0.sats
|
text/x-c
|
root:root
|
0o644
|
6.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/basis.sats
|
text/plain
|
root:root
|
0o644
|
3.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/filebas.sats
|
text/plain
|
root:root
|
0o644
|
2.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/funmap.sats
|
text/plain
|
root:root
|
0o644
|
2.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/funset.sats
|
text/plain
|
root:root
|
0o644
|
4.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/hashtblref.sats
|
text/plain
|
root:root
|
0o644
|
3.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/intrange.sats
|
text/plain
|
root:root
|
0o644
|
2.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/list0.sats
|
text/plain
|
root:root
|
0o644
|
10.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/matrix0.sats
|
text/plain
|
root:root
|
0o644
|
4.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/monad_list.sats
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/monad_maybe.sats
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/option0.sats
|
text/plain
|
root:root
|
0o644
|
2.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/SHARE/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/SHARE/monad.hats
|
text/plain
|
root:root
|
0o644
|
3.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/stdlib.sats
|
text/plain
|
root:root
|
0o644
|
2.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/strarr.sats
|
text/x-c
|
root:root
|
0o644
|
5.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/ML/SATS/string.sats
|
text/plain
|
root:root
|
0o644
|
2.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/athread.sats
|
text/plain
|
root:root
|
0o644
|
5.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/deqarray.sats
|
text/x-c
|
root:root
|
0o644
|
5.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/dllist.sats
|
text/plain
|
root:root
|
0o644
|
9.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/dynarray.sats
|
text/x-c
|
root:root
|
0o644
|
5.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/fundeque_fngtree.sats
|
text/x-c
|
root:root
|
0o644
|
1.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/funmap_avltree.sats
|
text/x-c
|
root:root
|
0o644
|
1.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/funmap_list.sats
|
text/x-c
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/funralist_nested.sats
|
text/x-c
|
root:root
|
0o644
|
1.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/funset_avltree.sats
|
text/x-c
|
root:root
|
0o644
|
1.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/funset_listord.sats
|
text/x-c
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/gfarray.sats
|
text/plain
|
root:root
|
0o644
|
4.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/gflist.sats
|
text/plain
|
root:root
|
0o644
|
4.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/gflist_vt.sats
|
text/plain
|
root:root
|
0o644
|
2.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/gnode.sats
|
text/plain
|
root:root
|
0o644
|
5.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/hashfun.sats
|
text/x-c
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/hashtbl_chain.sats
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/hashtbl_linprb.sats
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/ilist_prf.sats
|
text/plain
|
root:root
|
0o644
|
13.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/lindeque_dllist.sats
|
text/x-c
|
root:root
|
0o644
|
2.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linheap_binomial.sats
|
text/x-c
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linmap_avltree.sats
|
text/x-c
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linmap_list.sats
|
text/x-c
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linmap_randbst.sats
|
text/x-c
|
root:root
|
0o644
|
1.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linmap_skiplist.sats
|
text/x-c
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linralist_nested.sats
|
text/x-c
|
root:root
|
0o644
|
1.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linset_avltree.sats
|
text/x-c
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/linset_listord.sats
|
text/x-c
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/qlist.sats
|
text/x-c
|
root:root
|
0o644
|
6.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/refcount.sats
|
text/plain
|
root:root
|
0o644
|
2.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/fundeque.hats
|
text/plain
|
root:root
|
0o644
|
4.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/funmap.hats
|
text/plain
|
root:root
|
0o644
|
4.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/funralist.hats
|
text/plain
|
root:root
|
0o644
|
4.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/funset.hats
|
text/plain
|
root:root
|
0o644
|
4.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/hashtbl.hats
|
text/plain
|
root:root
|
0o644
|
5.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/lindeque.hats
|
text/plain
|
root:root
|
0o644
|
2.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/linheap.hats
|
text/plain
|
root:root
|
0o644
|
3.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/linmap.hats
|
text/plain
|
root:root
|
0o644
|
5.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/linmap_node.hats
|
text/plain
|
root:root
|
0o644
|
3.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/linralist.hats
|
text/plain
|
root:root
|
0o644
|
3.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/linset.hats
|
text/plain
|
root:root
|
0o644
|
4.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/SHARE/linset_node.hats
|
text/plain
|
root:root
|
0o644
|
3.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/sllist.sats
|
text/plain
|
root:root
|
0o644
|
7.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/stkarray.sats
|
text/x-c
|
root:root
|
0o644
|
5.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libats/SATS/stringbuf.sats
|
text/x-c
|
root:root
|
0o644
|
5.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/alloca.cats
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/dirent.cats
|
text/x-c
|
root:root
|
0o644
|
3.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/dlfcn.cats
|
text/x-c
|
root:root
|
0o644
|
2.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/errno.cats
|
text/x-c
|
root:root
|
0o644
|
2.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/fcntl.cats
|
text/x-c
|
root:root
|
0o644
|
2.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/fnmatch.cats
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/malloc.cats
|
text/x-c
|
root:root
|
0o644
|
2.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/math.cats
|
text/x-c
|
root:root
|
0o644
|
5.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/signal.cats
|
text/x-c
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/stdio.cats
|
text/x-c
|
root:root
|
0o644
|
5.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/stdlib.cats
|
text/x-c
|
root:root
|
0o644
|
4.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/string.cats
|
text/x-c
|
root:root
|
0o644
|
3.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/strings.cats
|
text/x-c
|
root:root
|
0o644
|
2.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/time.cats
|
text/x-c
|
root:root
|
0o644
|
4.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/CATS/unistd.cats
|
text/x-c
|
root:root
|
0o644
|
4.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/DATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/DATS/dirent.dats
|
text/x-c
|
root:root
|
0o644
|
3.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/DATS/errno.dats
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/DATS/fcntl.dats
|
text/x-c
|
root:root
|
0o644
|
1.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/DATS/math.dats
|
text/plain
|
root:root
|
0o644
|
5.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/DATS/stdio.dats
|
text/x-c
|
root:root
|
0o644
|
5.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/DATS/stdlib.dats
|
text/x-c
|
root:root
|
0o644
|
2.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/DATS/string.dats
|
text/x-c
|
root:root
|
0o644
|
2.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/DATS/strings.dats
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/DATS/time.dats
|
text/plain
|
root:root
|
0o644
|
2.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/DATS/unistd.dats
|
text/x-c
|
root:root
|
0o644
|
4.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/CATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/CATS/datum.cats
|
text/x-c
|
root:root
|
0o644
|
2.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/CATS/gdbm.cats
|
text/x-c
|
root:root
|
0o644
|
2.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/DATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/SATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/SATS/gdbm.sats
|
text/x-c
|
root:root
|
0o644
|
9.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/SATS/SHARE/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/gdbm/SATS/SHARE/datum.hats
|
text/plain
|
root:root
|
0o644
|
2.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/alloca.sats
|
text/x-c
|
root:root
|
0o644
|
2.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/dirent.sats
|
text/x-c
|
root:root
|
0o644
|
5.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/dlfcn.sats
|
text/x-c
|
root:root
|
0o644
|
2.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/errno.sats
|
text/x-c
|
root:root
|
0o644
|
7.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/fcntl.sats
|
text/x-c
|
root:root
|
0o644
|
3.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/fnmatch.sats
|
text/x-c
|
root:root
|
0o644
|
3.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/malloc.sats
|
text/x-c
|
root:root
|
0o644
|
2.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/math.sats
|
text/x-c
|
root:root
|
0o644
|
8.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/signal.sats
|
text/x-c
|
root:root
|
0o644
|
8.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/stddef.sats
|
text/plain
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/stdio.sats
|
text/x-c
|
root:root
|
0o644
|
23.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/stdlib.sats
|
text/x-c
|
root:root
|
0o644
|
11.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/string.sats
|
text/x-c
|
root:root
|
0o644
|
5.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/strings.sats
|
text/x-c
|
root:root
|
0o644
|
2.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/time.sats
|
text/x-c
|
root:root
|
0o644
|
6.4 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/unistd_pathconf.sats
|
text/plain
|
root:root
|
0o644
|
3.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/unistd.sats
|
text/x-c
|
root:root
|
0o644
|
8.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/SATS/unistd_sysconf.sats
|
text/plain
|
root:root
|
0o644
|
16.3 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/CATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/CATS/mman.cats
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/CATS/stat.cats
|
text/x-c
|
root:root
|
0o644
|
2.1 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/CATS/time.cats
|
text/x-c
|
root:root
|
0o644
|
2.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/CATS/types.cats
|
text/x-c
|
root:root
|
0o644
|
3.6 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/CATS/wait.cats
|
text/x-c
|
root:root
|
0o644
|
1.8 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/DATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/DATS/stat.dats
|
text/x-c
|
root:root
|
0o644
|
3.0 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/DATS/types.dats
|
text/x-c
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/SATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/SATS/mman.sats
|
text/x-c
|
root:root
|
0o644
|
3.2 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/SATS/stat.sats
|
text/x-c
|
root:root
|
0o644
|
5.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/SATS/time.sats
|
text/x-c
|
root:root
|
0o644
|
4.5 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/SATS/types.sats
|
text/x-c
|
root:root
|
0o644
|
5.9 KB
|
/usr/lib/ats2-postiats-0.1.3/libc/sys/SATS/wait.sats
|
text/x-c
|
root:root
|
0o644
|
3.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/prelude/basics_dyn.sats
|
text/x-c
|
root:root
|
0o644
|
15.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/basics_gen.sats
|
text/x-c
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/basics_pre.sats
|
text/x-c
|
root:root
|
0o644
|
12.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/basics_sta.sats
|
text/x-c
|
root:root
|
0o644
|
17.1 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/array.cats
|
text/x-c
|
root:root
|
0o644
|
2.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/arrayptr.cats
|
text/plain
|
root:root
|
0o644
|
2.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/arrayref.cats
|
text/plain
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/basics.cats
|
text/x-c
|
root:root
|
0o644
|
4.5 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/bool.cats
|
text/x-c
|
root:root
|
0o644
|
5.5 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/char.cats
|
text/x-c
|
root:root
|
0o644
|
13.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/filebas.cats
|
text/x-c
|
root:root
|
0o644
|
7.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/float.cats
|
text/x-c
|
root:root
|
0o644
|
17.1 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/integer.cats
|
text/x-c
|
root:root
|
0o644
|
55.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/integer_fixed.cats
|
text/x-c
|
root:root
|
0o644
|
31.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/integer_ptr.cats
|
text/x-c
|
root:root
|
0o644
|
8.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/list.cats
|
text/plain
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/matrix.cats
|
text/plain
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/matrixptr.cats
|
text/plain
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/memory.cats
|
text/plain
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/option.cats
|
text/plain
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/pointer.cats
|
text/x-c
|
root:root
|
0o644
|
6.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/string.cats
|
text/x-c
|
root:root
|
0o644
|
5.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/CATS/strptr.cats
|
text/x-c
|
root:root
|
0o644
|
3.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/arith_prf.dats
|
text/plain
|
root:root
|
0o644
|
6.3 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/array_bsearch.dats
|
text/plain
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/array.dats
|
text/x-c
|
root:root
|
0o644
|
21.6 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/array_prf.dats
|
text/plain
|
root:root
|
0o644
|
4.4 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/arrayptr.dats
|
text/plain
|
root:root
|
0o644
|
8.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/array_quicksort.dats
|
text/plain
|
root:root
|
0o644
|
6.3 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/arrayref.dats
|
text/plain
|
root:root
|
0o644
|
11.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/basics.dats
|
text/plain
|
root:root
|
0o644
|
4.0 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/bool.dats
|
text/plain
|
root:root
|
0o644
|
2.0 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/char.dats
|
text/plain
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/checkast.dats
|
text/plain
|
root:root
|
0o644
|
4.3 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/fcontainer.dats
|
text/x-c
|
root:root
|
0o644
|
9.0 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/fcontainer_foreach.dats
|
text/x-c
|
root:root
|
0o644
|
7.4 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/filebas.dats
|
text/x-c
|
root:root
|
0o644
|
16.1 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/float.dats
|
text/plain
|
root:root
|
0o644
|
5.5 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/giter_array.dats
|
text/x-c
|
root:root
|
0o644
|
6.3 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/giterator.dats
|
text/x-c
|
root:root
|
0o644
|
11.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/giter_list.dats
|
text/x-c
|
root:root
|
0o644
|
3.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/giter_list_vt.dats
|
text/x-c
|
root:root
|
0o644
|
6.3 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gnumber.dats
|
text/x-c
|
root:root
|
0o644
|
1.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gnumber_float.dats
|
text/plain
|
root:root
|
0o644
|
3.4 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gnumber_int.dats
|
text/plain
|
root:root
|
0o644
|
3.3 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gnumber_uint.dats
|
text/plain
|
root:root
|
0o644
|
3.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_bool.dats
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_char.dats
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder.dats
|
text/x-c
|
root:root
|
0o644
|
3.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_float.dats
|
text/plain
|
root:root
|
0o644
|
1.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_int.dats
|
text/plain
|
root:root
|
0o644
|
1.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_string.dats
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gorder_uint.dats
|
text/plain
|
root:root
|
0o644
|
1.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/gprint.dats
|
text/plain
|
root:root
|
0o644
|
5.1 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/integer.dats
|
text/plain
|
root:root
|
0o644
|
30.0 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/integer_fixed.dats
|
text/plain
|
root:root
|
0o644
|
12.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/intrange.dats
|
text/plain
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/list.dats
|
text/plain
|
root:root
|
0o644
|
37.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/list_vt.dats
|
text/plain
|
root:root
|
0o644
|
19.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/list_vt_mergesort.dats
|
text/x-c
|
root:root
|
0o644
|
5.4 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/list_vt_quicksort.dats
|
text/x-c
|
root:root
|
0o644
|
3.5 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/matrix.dats
|
text/plain
|
root:root
|
0o644
|
6.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/matrixptr.dats
|
text/plain
|
root:root
|
0o644
|
4.6 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/matrixref.dats
|
text/plain
|
root:root
|
0o644
|
7.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/memory.dats
|
text/plain
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/option.dats
|
text/plain
|
root:root
|
0o644
|
2.4 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/option_vt.dats
|
text/plain
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/parray.dats
|
text/plain
|
root:root
|
0o644
|
2.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/pointer.dats
|
text/plain
|
root:root
|
0o644
|
3.4 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/reference.dats
|
text/plain
|
root:root
|
0o644
|
2.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/stream.dats
|
text/x-c
|
root:root
|
0o644
|
12.5 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/stream_vt.dats
|
text/x-c
|
root:root
|
0o644
|
10.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/string.dats
|
text/x-c
|
root:root
|
0o644
|
16.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/strptr.dats
|
text/plain
|
root:root
|
0o644
|
8.6 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/tuple.dats
|
text/plain
|
root:root
|
0o644
|
5.6 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/DATS/unsafe.dats
|
text/plain
|
root:root
|
0o644
|
4.5 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/fixity.ats
|
text/x-c
|
root:root
|
0o644
|
2.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/lmacrodef.sats
|
text/plain
|
root:root
|
0o644
|
2.5 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/macrodef.sats
|
text/x-c
|
root:root
|
0o644
|
2.4 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/params.hats
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/arith_prf.sats
|
text/plain
|
root:root
|
0o644
|
7.4 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/array_prf.sats
|
text/plain
|
root:root
|
0o644
|
3.0 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/arrayptr.sats
|
text/plain
|
root:root
|
0o644
|
11.0 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/arrayref.sats
|
text/plain
|
root:root
|
0o644
|
11.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/array.sats
|
text/plain
|
root:root
|
0o644
|
14.0 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/bool.sats
|
text/plain
|
root:root
|
0o644
|
6.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/char.sats
|
text/plain
|
root:root
|
0o644
|
12.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/checkast.sats
|
text/plain
|
root:root
|
0o644
|
3.1 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/extern.sats
|
text/plain
|
root:root
|
0o644
|
3.4 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/fcontainer.sats
|
text/plain
|
root:root
|
0o644
|
6.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/filebas.sats
|
text/plain
|
root:root
|
0o644
|
7.0 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/float.sats
|
text/plain
|
root:root
|
0o644
|
11.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/giterator.sats
|
text/plain
|
root:root
|
0o644
|
15.6 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/gnumber.sats
|
text/plain
|
root:root
|
0o644
|
2.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/gorder.sats
|
text/plain
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/gprint.sats
|
text/plain
|
root:root
|
0o644
|
3.0 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/integer_fixed.sats
|
text/plain
|
root:root
|
0o644
|
26.8 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/integer_ptr.sats
|
text/plain
|
root:root
|
0o644
|
9.0 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/integer.sats
|
text/plain
|
root:root
|
0o644
|
55.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/intrange.sats
|
text/plain
|
root:root
|
0o644
|
2.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/list.sats
|
text/plain
|
root:root
|
0o644
|
18.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/list_vt.sats
|
text/plain
|
root:root
|
0o644
|
10.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/matrixptr.sats
|
text/plain
|
root:root
|
0o644
|
7.3 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/matrixref.sats
|
text/plain
|
root:root
|
0o644
|
8.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/matrix.sats
|
text/plain
|
root:root
|
0o644
|
8.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/memory.sats
|
text/plain
|
root:root
|
0o644
|
2.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/option.sats
|
text/plain
|
root:root
|
0o644
|
3.0 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/option_vt.sats
|
text/plain
|
root:root
|
0o644
|
2.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/parray.sats
|
text/plain
|
root:root
|
0o644
|
2.5 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/pointer.sats
|
text/plain
|
root:root
|
0o644
|
11.7 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/reference.sats
|
text/plain
|
root:root
|
0o644
|
3.0 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/stream.sats
|
text/plain
|
root:root
|
0o644
|
5.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/stream_vt.sats
|
text/plain
|
root:root
|
0o644
|
5.2 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/string.sats
|
text/plain
|
root:root
|
0o644
|
11.6 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/strptr.sats
|
text/plain
|
root:root
|
0o644
|
8.9 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/tuple.sats
|
text/plain
|
root:root
|
0o644
|
3.3 KB
|
/usr/lib/ats2-postiats-0.1.3/prelude/SATS/unsafe.sats
|
text/plain
|
root:root
|
0o644
|
6.1 KB
|
/usr/lib/ats2-postiats-0.1.3/share/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/share/atsmake-post.mk
|
text/x-makefile
|
root:root
|
0o644
|
2.7 KB
|
/usr/lib/ats2-postiats-0.1.3/share/atsmake-pre.mk
|
text/x-makefile
|
root:root
|
0o644
|
1.2 KB
|
/usr/lib/ats2-postiats-0.1.3/share/atspre_define.hats
|
text/x-c
|
root:root
|
0o644
|
225 bytes
|
/usr/lib/ats2-postiats-0.1.3/share/atspre_staload.hats
|
text/plain
|
root:root
|
0o644
|
2.4 KB
|
/usr/lib/ats2-postiats-0.1.3/share/HATS/
|
|
root:root
|
0o755
|
|
/usr/lib/ats2-postiats-0.1.3/share/HATS/atslib_staload_libc.hats
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/lib/ats2-postiats-0.1.3/share/HATS/atspre_define_pkgreloc.hats
|
text/plain
|
root:root
|
0o644
|
2.8 KB
|
/usr/lib/ats2-postiats-0.1.3/share/HATS/atspre_staload_libats_ML.hats
|
text/plain
|
root:root
|
0o644
|
1.9 KB
|
/usr/lib/ats2-postiats-0.1.3/share/Makefile.gen
|
text/plain
|
root:root
|
0o644
|
973 bytes
|
/usr/share/
|
|
root:root
|
0o755
|
|
/usr/share/doc/
|
|
root:root
|
0o755
|
|
/usr/share/doc/ats2-lang/
|
|
root:root
|
0o755
|
|
/usr/share/doc/ats2-lang/changelog.Debian.gz
|
application/gzip
|
root:root
|
0o644
|
322 bytes
|
/usr/share/doc/ats2-lang/copyright
|
text/plain
|
root:root
|
0o644
|
1.0 KB
|
/usr/share/doc/ats2-lang/README.Debian
|
text/plain
|
root:root
|
0o644
|
185 bytes
|
/usr/share/doc/ats2-lang/VERSION.txt.gz
|
application/gzip
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/man/
|
|
root:root
|
0o755
|
|
/usr/share/man/man1/
|
|
root:root
|
0o755
|
|
/usr/share/man/man1/patscc.1.gz
|
application/gzip
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/man/man1/patsopt.1.gz
|
application/gzip
|
root:root
|
0o644
|
1.2 KB
|