/usr/
|
|
root:root
|
0o755
|
|
/usr/include/
|
|
root:root
|
0o755
|
|
/usr/include/ladr/
|
|
root:root
|
0o755
|
|
/usr/include/ladr/accanon.h
|
text/x-c
|
root:root
|
0o644
|
1.4 KB
|
/usr/include/ladr/ac_redun.h
|
text/x-c
|
root:root
|
0o644
|
1.3 KB
|
/usr/include/ladr/attrib.h
|
text/x-c
|
root:root
|
0o644
|
3.4 KB
|
/usr/include/ladr/avltree.h
|
text/x-c
|
root:root
|
0o644
|
2.6 KB
|
/usr/include/ladr/backdemod.h
|
text/x-c
|
root:root
|
0o644
|
1.3 KB
|
/usr/include/ladr/banner.h
|
text/x-c
|
root:root
|
0o644
|
1.2 KB
|
/usr/include/ladr/basic.h
|
text/x-c
|
root:root
|
0o644
|
1.4 KB
|
/usr/include/ladr/btm.h
|
text/x-c
|
root:root
|
0o644
|
1.7 KB
|
/usr/include/ladr/btu.h
|
text/x-c
|
root:root
|
0o644
|
1.8 KB
|
/usr/include/ladr/clash.h
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/include/ladr/clause_eval.h
|
text/x-c
|
root:root
|
0o644
|
1.2 KB
|
/usr/include/ladr/clauseid.h
|
text/x-c
|
root:root
|
0o644
|
1.3 KB
|
/usr/include/ladr/clause_misc.h
|
text/x-c
|
root:root
|
0o644
|
1.5 KB
|
/usr/include/ladr/clauses.h
|
text/x-c
|
root:root
|
0o644
|
1.5 KB
|
/usr/include/ladr/clausify.h
|
text/x-c
|
root:root
|
0o644
|
1.2 KB
|
/usr/include/ladr/clist.h
|
text/x-c
|
root:root
|
0o644
|
3.3 KB
|
/usr/include/ladr/clock.h
|
text/x-c
|
root:root
|
0o644
|
2.5 KB
|
/usr/include/ladr/cnf.h
|
text/x-c
|
root:root
|
0o644
|
1.4 KB
|
/usr/include/ladr/complex.h
|
text/x-c
|
root:root
|
0o644
|
1.2 KB
|
/usr/include/ladr/compress.h
|
text/x-c
|
root:root
|
0o644
|
1.2 KB
|
/usr/include/ladr/definitions.h
|
text/x-c
|
root:root
|
0o644
|
1.4 KB
|
/usr/include/ladr/demod.h
|
text/x-c
|
root:root
|
0o644
|
1.6 KB
|
/usr/include/ladr/dioph.h
|
text/x-c
|
root:root
|
0o644
|
2.6 KB
|
/usr/include/ladr/discrimb.h
|
text/x-c
|
root:root
|
0o644
|
1.6 KB
|
/usr/include/ladr/discrim.h
|
text/x-c
|
root:root
|
0o644
|
3.3 KB
|
/usr/include/ladr/discrimw.h
|
text/x-c
|
root:root
|
0o644
|
1.5 KB
|
/usr/include/ladr/di_tree.h
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/include/ladr/dollar.h
|
text/x-c
|
root:root
|
0o644
|
1.2 KB
|
/usr/include/ladr/fastparse.h
|
text/x-c
|
root:root
|
0o644
|
2.2 KB
|
/usr/include/ladr/fatal.h
|
text/x-c
|
root:root
|
0o644
|
1.2 KB
|
/usr/include/ladr/features.h
|
text/x-c
|
root:root
|
0o644
|
1.2 KB
|
/usr/include/ladr/flatdemod.h
|
text/x-c
|
root:root
|
0o644
|
1.6 KB
|
/usr/include/ladr/flatterm.h
|
text/x-c
|
root:root
|
0o644
|
2.6 KB
|
/usr/include/ladr/formula.h
|
text/x-c
|
root:root
|
0o644
|
4.0 KB
|
/usr/include/ladr/fpa.h
|
text/x-c
|
root:root
|
0o644
|
2.7 KB
|
/usr/include/ladr/fpalist.h
|
text/x-c
|
root:root
|
0o644
|
2.9 KB
|
/usr/include/ladr/glist.h
|
text/x-c
|
root:root
|
0o644
|
4.6 KB
|
/usr/include/ladr/hash.h
|
text/x-c
|
root:root
|
0o644
|
1.4 KB
|
/usr/include/ladr/header.h
|
text/x-c
|
root:root
|
0o644
|
1.1 KB
|
/usr/include/ladr/hints.h
|
text/x-c
|
root:root
|
0o644
|
1.5 KB
|
/usr/include/ladr/ibuffer.h
|
text/x-c
|
root:root
|
0o644
|
1.7 KB
|
/usr/include/ladr/index.h
|
text/x-c
|
root:root
|
0o644
|
1.2 KB
|
/usr/include/ladr/int_code.h
|
text/x-c
|
root:root
|
0o644
|
1.1 KB
|
/usr/include/ladr/interp.h
|
text/x-c
|
root:root
|
0o644
|
3.5 KB
|
/usr/include/ladr/ioutil.h
|
text/x-c
|
root:root
|
0o644
|
2.8 KB
|
/usr/include/ladr/ivy.h
|
text/x-c
|
root:root
|
0o644
|
1.1 KB
|
/usr/include/ladr/just.h
|
text/x-c
|
root:root
|
0o644
|
5.9 KB
|
/usr/include/ladr/ladr.h
|
text/x-c
|
root:root
|
0o644
|
1.1 KB
|
/usr/include/ladr/lindex.h
|
text/x-c
|
root:root
|
0o644
|
2.4 KB
|
/usr/include/ladr/listterm.h
|
text/x-c
|
root:root
|
0o644
|
1.6 KB
|
/usr/include/ladr/literals.h
|
text/x-c
|
root:root
|
0o644
|
3.2 KB
|
/usr/include/ladr/maximal.h
|
text/x-c
|
root:root
|
0o644
|
1.7 KB
|
/usr/include/ladr/memory.h
|
text/x-c
|
root:root
|
0o644
|
1.7 KB
|
/usr/include/ladr/mindex.h
|
text/x-c
|
root:root
|
0o644
|
3.8 KB
|
/usr/include/ladr/multiset.h
|
text/x-c
|
root:root
|
0o644
|
1.1 KB
|
/usr/include/ladr/nonport.h
|
text/x-c
|
root:root
|
0o644
|
1.3 KB
|
/usr/include/ladr/options.h
|
text/x-c
|
root:root
|
0o644
|
4.0 KB
|
/usr/include/ladr/order.h
|
text/x-c
|
root:root
|
0o644
|
1.8 KB
|
/usr/include/ladr/paramod.h
|
text/x-c
|
root:root
|
0o644
|
1.9 KB
|
/usr/include/ladr/parautil.h
|
text/plain
|
root:root
|
0o644
|
1.8 KB
|
/usr/include/ladr/parse.h
|
text/x-c
|
root:root
|
0o644
|
2.9 KB
|
/usr/include/ladr/pindex.h
|
text/x-c
|
root:root
|
0o644
|
2.4 KB
|
/usr/include/ladr/random.h
|
text/x-c
|
root:root
|
0o644
|
1.8 KB
|
/usr/include/ladr/resolve.h
|
text/x-c
|
root:root
|
0o644
|
2.2 KB
|
/usr/include/ladr/std_options.h
|
text/x-c
|
root:root
|
0o644
|
1.2 KB
|
/usr/include/ladr/strbuf.h
|
text/x-c
|
root:root
|
0o644
|
2.2 KB
|
/usr/include/ladr/string.h
|
text/x-c
|
root:root
|
0o644
|
1.7 KB
|
/usr/include/ladr/subsume.h
|
text/x-c
|
root:root
|
0o644
|
1.6 KB
|
/usr/include/ladr/symbols.h
|
text/x-c
|
root:root
|
0o644
|
6.7 KB
|
/usr/include/ladr/termflag.h
|
text/x-c
|
root:root
|
0o644
|
1.3 KB
|
/usr/include/ladr/term.h
|
text/x-c
|
root:root
|
0o644
|
7.5 KB
|
/usr/include/ladr/termorder.h
|
text/x-c
|
root:root
|
0o644
|
2.0 KB
|
/usr/include/ladr/tlist.h
|
text/x-c
|
root:root
|
0o644
|
1.4 KB
|
/usr/include/ladr/topform.h
|
text/x-c
|
root:root
|
0o644
|
4.2 KB
|
/usr/include/ladr/top_input.h
|
text/x-c
|
root:root
|
0o644
|
2.2 KB
|
/usr/include/ladr/tptp_trans.h
|
text/x-c
|
root:root
|
0o644
|
1.5 KB
|
/usr/include/ladr/unify.h
|
text/x-c
|
root:root
|
0o644
|
6.7 KB
|
/usr/include/ladr/weight2.h
|
text/x-c
|
root:root
|
0o644
|
1.1 KB
|
/usr/include/ladr/weight.h
|
text/x-c
|
root:root
|
0o644
|
1.3 KB
|
/usr/include/ladr/xproofs.h
|
text/x-c
|
root:root
|
0o644
|
1.4 KB
|
/usr/lib/
|
|
root:root
|
0o755
|
|
/usr/lib/x86_64-linux-gnu/
|
|
root:root
|
0o755
|
|
/usr/lib/x86_64-linux-gnu/libladr.a
|
application/x-archive
|
root:root
|
0o644
|
831.8 KB
|
/usr/share/
|
|
root:root
|
0o755
|
|
/usr/share/doc/
|
|
root:root
|
0o755
|
|
/usr/share/doc/libladr-dev/
|
|
root:root
|
0o755
|
|
/usr/share/doc/libladr-dev/changelog.Debian.gz
|
|
root:root
|
0o777
|
|
/usr/share/doc/libladr-dev/copyright
|
text/plain
|
root:root
|
0o644
|
2.1 KB
|
/usr/share/doc/libladr-dev/html/
|
|
root:root
|
0o755
|
|
/usr/share/doc/libladr-dev/html/accanon.html
|
text/html
|
root:root
|
0o644
|
2.2 KB
|
/usr/share/doc/libladr-dev/html/ac_redun.html
|
text/html
|
root:root
|
0o644
|
3.3 KB
|
/usr/share/doc/libladr-dev/html/attrib.html
|
text/html
|
root:root
|
0o644
|
11.6 KB
|
/usr/share/doc/libladr-dev/html/avltree.html
|
text/html
|
root:root
|
0o644
|
6.1 KB
|
/usr/share/doc/libladr-dev/html/backdemod.html
|
text/html
|
root:root
|
0o644
|
2.2 KB
|
/usr/share/doc/libladr-dev/html/banner.html
|
text/html
|
root:root
|
0o644
|
1.1 KB
|
/usr/share/doc/libladr-dev/html/basic.html
|
text/html
|
root:root
|
0o644
|
3.1 KB
|
/usr/share/doc/libladr-dev/html/btm.html
|
text/html
|
root:root
|
0o644
|
4.3 KB
|
/usr/share/doc/libladr-dev/html/btu.html
|
text/html
|
root:root
|
0o644
|
4.5 KB
|
/usr/share/doc/libladr-dev/html/clash.html
|
text/html
|
root:root
|
0o644
|
3.5 KB
|
/usr/share/doc/libladr-dev/html/clause_eval.html
|
text/html
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/doc/libladr-dev/html/clauseid.html
|
text/html
|
root:root
|
0o644
|
3.0 KB
|
/usr/share/doc/libladr-dev/html/clause_misc.html
|
text/html
|
root:root
|
0o644
|
3.5 KB
|
/usr/share/doc/libladr-dev/html/clauses.html
|
text/html
|
root:root
|
0o644
|
3.6 KB
|
/usr/share/doc/libladr-dev/html/clausify.html
|
text/html
|
root:root
|
0o644
|
3.0 KB
|
/usr/share/doc/libladr-dev/html/clist.html
|
text/html
|
root:root
|
0o644
|
11.6 KB
|
/usr/share/doc/libladr-dev/html/clock.html
|
text/html
|
root:root
|
0o644
|
6.0 KB
|
/usr/share/doc/libladr-dev/html/cnf.html
|
text/html
|
root:root
|
0o644
|
4.5 KB
|
/usr/share/doc/libladr-dev/html/compress.html
|
text/html
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/doc/libladr-dev/html/definitions.html
|
text/html
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/doc/libladr-dev/html/demod.html
|
text/html
|
root:root
|
0o644
|
2.8 KB
|
/usr/share/doc/libladr-dev/html/dioph.html
|
text/html
|
root:root
|
0o644
|
5.9 KB
|
/usr/share/doc/libladr-dev/html/discrimb.html
|
text/html
|
root:root
|
0o644
|
4.6 KB
|
/usr/share/doc/libladr-dev/html/discrim.html
|
text/html
|
root:root
|
0o644
|
5.1 KB
|
/usr/share/doc/libladr-dev/html/discrimw.html
|
text/html
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/doc/libladr-dev/html/di_tree.html
|
text/html
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/doc/libladr-dev/html/fastparse.html
|
text/html
|
root:root
|
0o644
|
4.4 KB
|
/usr/share/doc/libladr-dev/html/fatal.html
|
text/html
|
root:root
|
0o644
|
1.7 KB
|
/usr/share/doc/libladr-dev/html/features.html
|
text/html
|
root:root
|
0o644
|
1.7 KB
|
/usr/share/doc/libladr-dev/html/flatdemod.html
|
text/html
|
root:root
|
0o644
|
3.5 KB
|
/usr/share/doc/libladr-dev/html/flatterm.html
|
text/html
|
root:root
|
0o644
|
4.3 KB
|
/usr/share/doc/libladr-dev/html/formula.html
|
text/html
|
root:root
|
0o644
|
16.5 KB
|
/usr/share/doc/libladr-dev/html/fpa.html
|
text/html
|
root:root
|
0o644
|
7.6 KB
|
/usr/share/doc/libladr-dev/html/fpalist.html
|
text/html
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/doc/libladr-dev/html/glist.html
|
text/html
|
root:root
|
0o644
|
17.9 KB
|
/usr/share/doc/libladr-dev/html/hash.html
|
text/html
|
root:root
|
0o644
|
2.2 KB
|
/usr/share/doc/libladr-dev/html/hints.html
|
text/html
|
root:root
|
0o644
|
2.0 KB
|
/usr/share/doc/libladr-dev/html/ibuffer.html
|
text/html
|
root:root
|
0o644
|
2.8 KB
|
/usr/share/doc/libladr-dev/html/index.html
|
text/html
|
root:root
|
0o644
|
3.1 KB
|
/usr/share/doc/libladr-dev/html/int_code.html
|
text/html
|
root:root
|
0o644
|
1.1 KB
|
/usr/share/doc/libladr-dev/html/interp.html
|
text/html
|
root:root
|
0o644
|
16.9 KB
|
/usr/share/doc/libladr-dev/html/ioutil.html
|
text/html
|
root:root
|
0o644
|
10.2 KB
|
/usr/share/doc/libladr-dev/html/ivy.html
|
text/html
|
root:root
|
0o644
|
1.2 KB
|
/usr/share/doc/libladr-dev/html/just.html
|
text/html
|
root:root
|
0o644
|
14.6 KB
|
/usr/share/doc/libladr-dev/html/lindex.html
|
text/html
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/doc/libladr-dev/html/listterm.html
|
text/html
|
root:root
|
0o644
|
4.4 KB
|
/usr/share/doc/libladr-dev/html/literals.html
|
text/html
|
root:root
|
0o644
|
13.0 KB
|
/usr/share/doc/libladr-dev/html/maximal.html
|
text/html
|
root:root
|
0o644
|
3.3 KB
|
/usr/share/doc/libladr-dev/html/memory.html
|
text/html
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/doc/libladr-dev/html/mindex.html
|
text/html
|
root:root
|
0o644
|
10.1 KB
|
/usr/share/doc/libladr-dev/html/multiset.html
|
text/html
|
root:root
|
0o644
|
1.1 KB
|
/usr/share/doc/libladr-dev/html/nonport.html
|
text/html
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/doc/libladr-dev/html/options.html
|
text/html
|
root:root
|
0o644
|
12.0 KB
|
/usr/share/doc/libladr-dev/html/order.html
|
text/html
|
root:root
|
0o644
|
2.9 KB
|
/usr/share/doc/libladr-dev/html/paramod.html
|
text/html
|
root:root
|
0o644
|
3.0 KB
|
/usr/share/doc/libladr-dev/html/parautil.html
|
text/html
|
root:root
|
0o644
|
5.4 KB
|
/usr/share/doc/libladr-dev/html/parse.html
|
text/html
|
root:root
|
0o644
|
7.1 KB
|
/usr/share/doc/libladr-dev/html/pindex.html
|
text/html
|
root:root
|
0o644
|
4.9 KB
|
/usr/share/doc/libladr-dev/html/random.html
|
text/html
|
root:root
|
0o644
|
3.5 KB
|
/usr/share/doc/libladr-dev/html/resolve.html
|
text/html
|
root:root
|
0o644
|
3.7 KB
|
/usr/share/doc/libladr-dev/html/sos.html
|
text/html
|
root:root
|
0o644
|
4.5 KB
|
/usr/share/doc/libladr-dev/html/std_options.html
|
text/html
|
root:root
|
0o644
|
1.3 KB
|
/usr/share/doc/libladr-dev/html/strbuf.html
|
text/html
|
root:root
|
0o644
|
6.7 KB
|
/usr/share/doc/libladr-dev/html/string.html
|
text/html
|
root:root
|
0o644
|
2.8 KB
|
/usr/share/doc/libladr-dev/html/subsume.html
|
text/html
|
root:root
|
0o644
|
4.1 KB
|
/usr/share/doc/libladr-dev/html/symbols.html
|
text/html
|
root:root
|
0o644
|
25.3 KB
|
/usr/share/doc/libladr-dev/html/termflag.html
|
text/html
|
root:root
|
0o644
|
3.9 KB
|
/usr/share/doc/libladr-dev/html/term.html
|
text/html
|
root:root
|
0o644
|
24.5 KB
|
/usr/share/doc/libladr-dev/html/termorder.html
|
text/html
|
root:root
|
0o644
|
5.3 KB
|
/usr/share/doc/libladr-dev/html/tlist.html
|
text/html
|
root:root
|
0o644
|
2.0 KB
|
/usr/share/doc/libladr-dev/html/topform.html
|
text/html
|
root:root
|
0o644
|
12.1 KB
|
/usr/share/doc/libladr-dev/html/top_input.html
|
text/html
|
root:root
|
0o644
|
4.0 KB
|
/usr/share/doc/libladr-dev/html/tptp_trans.html
|
text/html
|
root:root
|
0o644
|
1.8 KB
|
/usr/share/doc/libladr-dev/html/unify.html
|
text/html
|
root:root
|
0o644
|
15.0 KB
|
/usr/share/doc/libladr-dev/html/weight.html
|
text/html
|
root:root
|
0o644
|
1.3 KB
|
/usr/share/doc/libladr-dev/html/xproofs.html
|
text/html
|
root:root
|
0o644
|
2.4 KB
|