This package is 271.3 KB.
It is available at http://ftp.debian.org/debian/pool/main/l/ladr/libladr-dev_0.0.200911a-2.1_amd64.deb
.
View its full control file here:
debian/control.
the LADR deduction library, development files
This package depends on:
libladr4 (= 0.0.200911a-2.1).
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
libladr-dev 0.0.200911a-2.1 is in debian - jessie / main. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/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 | 832.7 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
|
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/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 |