libladr-dev - amd64

./doc/copyright ./doc/html/flatdemod.html ./doc/html/index.html ./doc/html/ivy.html ./doc/html/definitions.html ./doc/html/clauseid.html ./doc/html/options.html ./doc/html/dioph.html ./doc/html/btm.html ./doc/html/just.html ./doc/html/glist.html ./doc/html/lindex.html ./doc/html/resolve.html ./doc/html/topform.html ./doc/html/ac_redun.html ./doc/html/avltree.html ./doc/html/attrib.html ./doc/html/features.html ./doc/html/btu.html ./doc/html/termflag.html ./doc/html/int_code.html ./doc/html/compress.html ./doc/html/discrimb.html ./doc/html/sos.html ./doc/html/interp.html ./doc/html/term.html ./doc/html/top_input.html ./doc/html/maximal.html ./doc/html/flatterm.html ./doc/html/demod.html ./doc/html/clausify.html ./doc/html/cnf.html ./doc/html/unify.html ./doc/html/clause_misc.html ./doc/html/subsume.html ./doc/html/clock.html ./doc/html/banner.html ./doc/html/backdemod.html ./doc/html/memory.html ./doc/html/di_tree.html ./doc/html/basic.html ./doc/html/literals.html ./doc/html/hints.html ./doc/html/formula.html ./doc/html/pindex.html ./doc/html/random.html ./doc/html/fpa.html ./doc/html/parse.html ./doc/html/hash.html ./doc/html/paramod.html ./doc/html/xproofs.html ./doc/html/clash.html ./doc/html/listterm.html ./doc/html/nonport.html ./doc/html/discrimw.html ./doc/html/tlist.html ./doc/html/discrim.html ./doc/html/multiset.html ./doc/html/ioutil.html ./doc/html/clist.html ./doc/html/symbols.html ./doc/html/strbuf.html ./doc/html/fastparse.html ./doc/html/accanon.html ./doc/html/weight.html ./doc/html/fpalist.html ./doc/html/mindex.html ./doc/html/termorder.html ./doc/html/order.html ./doc/html/clause_eval.html ./doc/html/fatal.html ./doc/html/tptp_trans.html ./doc/html/clauses.html ./doc/html/string.html ./doc/html/ibuffer.html ./doc/html/parautil.html ./doc/html/std_options.html ./doc/changelog.Debian.gz ./doc/changelog.gz