This file is indexed.

/usr/include/ is in libladr-dev 0.0.200902a-2.1.

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

File Mime Type Owner Mode Size
..
/usr/include/ladr/ root:root 0o755
/usr/include/ladr/xproofs.h text/x-c root:root 0o644 1.4 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/unify.h text/x-c root:root 0o644 6.7 KB
/usr/include/ladr/tptp_trans.h text/x-c root:root 0o644 1.5 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/tlist.h text/x-c root:root 0o644 1.4 KB
/usr/include/ladr/termorder.h text/x-c root:root 0o644 2.0 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/symbols.h text/x-c root:root 0o644 6.7 KB
/usr/include/ladr/subsume.h text/x-c root:root 0o644 1.6 KB
/usr/include/ladr/string.h text/x-c root:root 0o644 1.7 KB
/usr/include/ladr/strbuf.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/resolve.h text/x-c root:root 0o644 2.2 KB
/usr/include/ladr/random.h text/x-c root:root 0o644 1.8 KB
/usr/include/ladr/pindex.h text/x-c root:root 0o644 2.4 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/paramod.h text/x-c root:root 0o644 1.9 KB
/usr/include/ladr/order.h text/x-c root:root 0o644 1.8 KB
/usr/include/ladr/options.h text/x-c root:root 0o644 4.0 KB
/usr/include/ladr/nonport.h text/x-c root:root 0o644 1.3 KB
/usr/include/ladr/multiset.h text/x-c root:root 0o644 1.1 KB
/usr/include/ladr/mindex.h text/x-c root:root 0o644 3.8 KB
/usr/include/ladr/memory.h text/x-c root:root 0o644 1.7 KB
/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/listterm.h text/x-c root:root 0o644 1.6 KB
/usr/include/ladr/lindex.h text/x-c root:root 0o644 2.4 KB
/usr/include/ladr/ladr.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/ivy.h text/x-c root:root 0o644 1.1 KB
/usr/include/ladr/ioutil.h text/x-c root:root 0o644 2.8 KB
/usr/include/ladr/interp.h text/x-c root:root 0o644 3.5 KB
/usr/include/ladr/int_code.h text/x-c root:root 0o644 1.1 KB
/usr/include/ladr/index.h text/x-c root:root 0o644 1.2 KB
/usr/include/ladr/ibuffer.h text/x-c root:root 0o644 1.7 KB
/usr/include/ladr/hints.h text/x-c root:root 0o644 1.5 KB
/usr/include/ladr/header.h text/x-c root:root 0o644 1.1 KB
/usr/include/ladr/hash.h text/x-c root:root 0o644 1.4 KB
/usr/include/ladr/glist.h text/x-c root:root 0o644 4.6 KB
/usr/include/ladr/fpalist.h text/x-c root:root 0o644 2.9 KB
/usr/include/ladr/fpa.h text/x-c root:root 0o644 2.7 KB
/usr/include/ladr/formula.h text/x-c root:root 0o644 4.0 KB
/usr/include/ladr/flatterm.h text/x-c root:root 0o644 2.6 KB
/usr/include/ladr/flatdemod.h text/x-c root:root 0o644 1.6 KB
/usr/include/ladr/features.h text/x-c root:root 0o644 1.2 KB
/usr/include/ladr/fatal.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/dollar.h text/x-c root:root 0o644 1.2 KB
/usr/include/ladr/discrimw.h text/x-c root:root 0o644 1.5 KB
/usr/include/ladr/discrimb.h text/x-c root:root 0o644 1.5 KB
/usr/include/ladr/discrim.h text/x-c root:root 0o644 3.3 KB
/usr/include/ladr/dioph.h text/x-c root:root 0o644 2.6 KB
/usr/include/ladr/di_tree.h text/x-c root:root 0o644 1.9 KB
/usr/include/ladr/demod.h text/x-c root:root 0o644 1.6 KB
/usr/include/ladr/definitions.h text/x-c root:root 0o644 1.4 KB
/usr/include/ladr/compress.h text/x-c root:root 0o644 1.2 KB
/usr/include/ladr/complex.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/clock.h text/x-c root:root 0o644 2.5 KB
/usr/include/ladr/clist.h text/x-c root:root 0o644 3.3 KB
/usr/include/ladr/clausify.h text/x-c root:root 0o644 1.2 KB
/usr/include/ladr/clauses.h text/x-c root:root 0o644 1.5 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/clause_eval.h text/x-c root:root 0o644 1.2 KB
/usr/include/ladr/clash.h text/x-c root:root 0o644 1.9 KB
/usr/include/ladr/btu.h text/x-c root:root 0o644 1.8 KB
/usr/include/ladr/btm.h text/x-c root:root 0o644 1.7 KB
/usr/include/ladr/basic.h text/x-c root:root 0o644 1.4 KB
/usr/include/ladr/banner.h text/x-c root:root 0o644 1.2 KB
/usr/include/ladr/backdemod.h text/x-c root:root 0o644 1.3 KB
/usr/include/ladr/avltree.h text/x-c root:root 0o644 2.6 KB
/usr/include/ladr/attrib.h text/x-c root:root 0o644 3.4 KB
/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