/usr/include/ladr/ is in libladr-dev 0.0.200902a-2.
This file is owned by root:root, with mode 0o755.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
..
|
||||
/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/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/clause_misc.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/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/di_tree.h
|
text/x-c | root:root | 0o644 | 1.9 KB |
/usr/include/ladr/dioph.h
|
text/x-c | root:root | 0o644 | 2.6 KB |
/usr/include/ladr/discrim.h
|
text/x-c | root:root | 0o644 | 3.3 KB |
/usr/include/ladr/discrimb.h
|
text/x-c | root:root | 0o644 | 1.5 KB |
/usr/include/ladr/discrimw.h
|
text/x-c | root:root | 0o644 | 1.5 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/term.h
|
text/x-c | root:root | 0o644 | 7.5 KB |
/usr/include/ladr/termflag.h
|
text/x-c | root:root | 0o644 | 1.3 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/top_input.h
|
text/x-c | root:root | 0o644 | 2.2 KB |
/usr/include/ladr/topform.h
|
text/x-c | root:root | 0o644 | 4.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/weight.h
|
text/x-c | root:root | 0o644 | 1.3 KB |
/usr/include/ladr/weight2.h
|
text/x-c | root:root | 0o644 | 1.1 KB |
/usr/include/ladr/xproofs.h
|
text/x-c | root:root | 0o644 | 1.4 KB |