This file is indexed.

/usr/ is in libladr-dev 0.0.200911a-2.1.

This file is owned by root:root, with mode 0o755.

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