/usr/share/doc/libladr-dev/html/
|
|
root:root
|
0o755
|
|
/usr/share/doc/libladr-dev/
|
|
root:root
|
0o755
|
|
/usr/share/doc/
|
|
root:root
|
0o755
|
|
/usr/share/doc/libladr-dev/html/discrimb.html
|
text/html
|
root:root
|
0o644
|
4.6 KB
|
/usr/share/doc/libladr-dev/html/ibuffer.html
|
text/html
|
root:root
|
0o644
|
2.8 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/di_tree.html
|
text/html
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/doc/libladr-dev/html/index.html
|
text/html
|
root:root
|
0o644
|
3.1 KB
|
/usr/share/doc/libladr-dev/html/fatal.html
|
text/html
|
root:root
|
0o644
|
1.7 KB
|
/usr/share/doc/libladr-dev/html/btm.html
|
text/html
|
root:root
|
0o644
|
4.3 KB
|
/usr/share/doc/libladr-dev/html/sos.html
|
text/html
|
root:root
|
0o644
|
4.5 KB
|
/usr/share/doc/libladr-dev/html/definitions.html
|
text/html
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/doc/libladr-dev/html/paramod.html
|
text/html
|
root:root
|
0o644
|
3.0 KB
|
/usr/share/doc/libladr-dev/html/flatterm.html
|
text/html
|
root:root
|
0o644
|
4.3 KB
|
/usr/share/doc/libladr-dev/html/clausify.html
|
text/html
|
root:root
|
0o644
|
3.0 KB
|
/usr/share/doc/libladr-dev/html/memory.html
|
text/html
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/doc/libladr-dev/html/clauses.html
|
text/html
|
root:root
|
0o644
|
3.6 KB
|
/usr/share/doc/libladr-dev/html/termflag.html
|
text/html
|
root:root
|
0o644
|
3.9 KB
|
/usr/share/doc/libladr-dev/html/demod.html
|
text/html
|
root:root
|
0o644
|
2.8 KB
|
/usr/share/doc/libladr-dev/html/order.html
|
text/html
|
root:root
|
0o644
|
2.9 KB
|
/usr/share/doc/libladr-dev/html/hints.html
|
text/html
|
root:root
|
0o644
|
2.0 KB
|
/usr/share/doc/libladr-dev/html/term.html
|
text/html
|
root:root
|
0o644
|
24.5 KB
|
/usr/share/doc/libladr-dev/html/weight.html
|
text/html
|
root:root
|
0o644
|
1.3 KB
|
/usr/share/doc/libladr-dev/html/backdemod.html
|
text/html
|
root:root
|
0o644
|
2.2 KB
|
/usr/share/doc/libladr-dev/html/multiset.html
|
text/html
|
root:root
|
0o644
|
1.1 KB
|
/usr/share/doc/libladr-dev/html/fastparse.html
|
text/html
|
root:root
|
0o644
|
4.4 KB
|
/usr/share/doc/libladr-dev/html/glist.html
|
text/html
|
root:root
|
0o644
|
17.9 KB
|
/usr/share/doc/libladr-dev/html/subsume.html
|
text/html
|
root:root
|
0o644
|
4.1 KB
|
/usr/share/doc/libladr-dev/html/tlist.html
|
text/html
|
root:root
|
0o644
|
2.0 KB
|
/usr/share/doc/libladr-dev/html/clock.html
|
text/html
|
root:root
|
0o644
|
6.0 KB
|
/usr/share/doc/libladr-dev/html/compress.html
|
text/html
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/doc/libladr-dev/html/options.html
|
text/html
|
root:root
|
0o644
|
12.0 KB
|
/usr/share/doc/libladr-dev/html/banner.html
|
text/html
|
root:root
|
0o644
|
1.1 KB
|
/usr/share/doc/libladr-dev/html/formula.html
|
text/html
|
root:root
|
0o644
|
16.5 KB
|
/usr/share/doc/libladr-dev/html/string.html
|
text/html
|
root:root
|
0o644
|
2.8 KB
|
/usr/share/doc/libladr-dev/html/listterm.html
|
text/html
|
root:root
|
0o644
|
4.4 KB
|
/usr/share/doc/libladr-dev/html/int_code.html
|
text/html
|
root:root
|
0o644
|
1.1 KB
|
/usr/share/doc/libladr-dev/html/avltree.html
|
text/html
|
root:root
|
0o644
|
6.1 KB
|
/usr/share/doc/libladr-dev/html/just.html
|
text/html
|
root:root
|
0o644
|
14.6 KB
|
/usr/share/doc/libladr-dev/html/symbols.html
|
text/html
|
root:root
|
0o644
|
25.3 KB
|
/usr/share/doc/libladr-dev/html/clause_eval.html
|
text/html
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/doc/libladr-dev/html/tptp_trans.html
|
text/html
|
root:root
|
0o644
|
1.8 KB
|
/usr/share/doc/libladr-dev/html/random.html
|
text/html
|
root:root
|
0o644
|
3.5 KB
|
/usr/share/doc/libladr-dev/html/mindex.html
|
text/html
|
root:root
|
0o644
|
10.1 KB
|
/usr/share/doc/libladr-dev/html/strbuf.html
|
text/html
|
root:root
|
0o644
|
6.7 KB
|
/usr/share/doc/libladr-dev/html/hash.html
|
text/html
|
root:root
|
0o644
|
2.2 KB
|
/usr/share/doc/libladr-dev/html/clause_misc.html
|
text/html
|
root:root
|
0o644
|
3.5 KB
|
/usr/share/doc/libladr-dev/html/ac_redun.html
|
text/html
|
root:root
|
0o644
|
3.3 KB
|
/usr/share/doc/libladr-dev/html/topform.html
|
text/html
|
root:root
|
0o644
|
12.1 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/interp.html
|
text/html
|
root:root
|
0o644
|
16.9 KB
|
/usr/share/doc/libladr-dev/html/top_input.html
|
text/html
|
root:root
|
0o644
|
4.0 KB
|
/usr/share/doc/libladr-dev/html/parautil.html
|
text/html
|
root:root
|
0o644
|
5.4 KB
|
/usr/share/doc/libladr-dev/html/unify.html
|
text/html
|
root:root
|
0o644
|
15.0 KB
|
/usr/share/doc/libladr-dev/html/lindex.html
|
text/html
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/doc/libladr-dev/html/clist.html
|
text/html
|
root:root
|
0o644
|
11.6 KB
|
/usr/share/doc/libladr-dev/html/discrim.html
|
text/html
|
root:root
|
0o644
|
5.1 KB
|
/usr/share/doc/libladr-dev/html/accanon.html
|
text/html
|
root:root
|
0o644
|
2.2 KB
|
/usr/share/doc/libladr-dev/html/literals.html
|
text/html
|
root:root
|
0o644
|
13.0 KB
|
/usr/share/doc/libladr-dev/html/discrimw.html
|
text/html
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/doc/libladr-dev/html/termorder.html
|
text/html
|
root:root
|
0o644
|
5.3 KB
|
/usr/share/doc/libladr-dev/html/fpa.html
|
text/html
|
root:root
|
0o644
|
7.6 KB
|
/usr/share/doc/libladr-dev/html/pindex.html
|
text/html
|
root:root
|
0o644
|
4.9 KB
|
/usr/share/doc/libladr-dev/html/xproofs.html
|
text/html
|
root:root
|
0o644
|
2.4 KB
|
/usr/share/doc/libladr-dev/html/flatdemod.html
|
text/html
|
root:root
|
0o644
|
3.5 KB
|
/usr/share/doc/libladr-dev/html/maximal.html
|
text/html
|
root:root
|
0o644
|
3.3 KB
|
/usr/share/doc/libladr-dev/html/basic.html
|
text/html
|
root:root
|
0o644
|
3.1 KB
|
/usr/share/doc/libladr-dev/html/features.html
|
text/html
|
root:root
|
0o644
|
1.7 KB
|
/usr/share/doc/libladr-dev/html/dioph.html
|
text/html
|
root:root
|
0o644
|
5.9 KB
|
/usr/share/doc/libladr-dev/html/attrib.html
|
text/html
|
root:root
|
0o644
|
11.6 KB
|
/usr/share/doc/libladr-dev/html/parse.html
|
text/html
|
root:root
|
0o644
|
7.1 KB
|
/usr/share/doc/libladr-dev/html/std_options.html
|
text/html
|
root:root
|
0o644
|
1.3 KB
|
/usr/share/doc/libladr-dev/html/resolve.html
|
text/html
|
root:root
|
0o644
|
3.7 KB
|
/usr/share/doc/libladr-dev/html/nonport.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/cnf.html
|
text/html
|
root:root
|
0o644
|
4.5 KB
|
/usr/share/doc/libladr-dev/html/fpalist.html
|
text/html
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/doc/libladr-dev/copyright
|
text/plain
|
root:root
|
0o644
|
2.1 KB
|
/usr/share/doc/libladr-dev/changelog.Debian.gz
|
|
root:root
|
0o777
|
|