libladr-dev_0.0.200911a-2.1_amd64.deb


Advertisement

Description

libladr-dev - the LADR deduction library, development files

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libladr-dev
Package version 0.0.200911a
Package release 2.1
Package architecture amd64
Package type deb
Installed size 1.47 KB
Download size 271.26 KB
Official Mirror ftp.br.debian.org
LADR (Library for Automated Deduction Research) is a library for
use in constructing theorem provers.  Among other useful routines it
provides facilities for applying inference rules such as resolution
and paramodulation to clauses.  LADR is used by the prover9 theorem
prover, and by the mace4 countermodel generator.
This package provides development support files for LADR.

Alternatives

Package Version Architecture Repository
libladr-dev_0.0.200911a-2.1_i386.deb 0.0.200911a i386 Debian Main
libladr-dev - - -

Requires

Name Value
libladr4 = 0.0.200911a-2.1

Download

Type URL
Binary Package libladr-dev_0.0.200911a-2.1_amd64.deb
Source Package ladr

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libladr-dev deb package:
    # sudo apt-get install libladr-dev

Files

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

Changelog

2014-10-09 - Matthias Klose <doko@debian.org>
ladr (0.0.200911a-2.1) unstable; urgency=medium
* Non-maintainer upload.
* Build-depend on libtool-bin. Closes: #761761.
2013-05-25 - Frank Lichtenheld <djpig@debian.org>
ladr (0.0.200911a-2) unstable; urgency=low
* QA upload.
* Upload to unstable.
* Change maintainer to QA group.
2012-12-13 - Hideki Yamane <henrich@debian.org>
ladr (0.0.200911a-1) experimental; urgency=low
* QA upload.
* New upstream release
* debian/watch
- update to deal with obsolete Perl's regrex (Closes: #544790)
Thanks to Adam D. Barratt <adam@adam-barratt.org.uk> 
* debian/rules
- convert to dh7 style
- pass "all" to dh_auto_build
* debian/patches: convert to use quilt and refresh
* debian/source/format: specify "3.0 (quilt)"
* debian/control
- drop "Build-Depends: dpatch"
- remove unnecessary "DM-Upload-Allowed: yes" line
- use Multi-Arch
- set "Standards-Version: 3.9.4"
* debian/compat: set 7
* {libladr4,libladr-dev}.install
- adjust install directroy
- don't install *.la files
- don't install *.so files in -dev package
* debian/libladr4.symbols: update
2012-01-08 - Hideki Yamane <henrich@debian.org>
ladr (0.0.200902a-2.1) unstable; urgency=low
* Non-maintainer upload.
* debian/patches/01-libtoolise.dpatch
- it drops -lm but it is needed for binutils-gold (Closes: #555074)
2009-05-03 - Peter Collingbourne <peter@pcc.me.uk>
ladr (0.0.200902a-2) unstable; urgency=low
* Merged from Ubuntu, fixes FTBFS (closes: #526541)
- Drop -shared from the libtool command to make libladr.la in
debian/patches/01-libtoolise.dpatch so that both the shared and
static libraries are built. The .install file tries to install both,
and if -shared is passed the .a isn't built and the package fails
to build. This appears to be a change in libtool behaviour.
2009-03-14 - Peter Collingbourne <peter@pcc.me.uk>
ladr (0.0.200902a-1) unstable; urgency=low
* New upstream release.
* debian/control: updated for new prover9-doc
* debian/ladr4-apps.install, debian/ladr4-apps.links: new application
complex, removed application rewriter2
* debian/libladr4.symbols: updated
* debian/control: new Standards-Version
2009-02-17 - Peter Collingbourne <peter@pcc.me.uk>
ladr (0.0.200811a-1) unstable; urgency=low
* New upstream release.
* debian/interpformat.1: documented option "wrap"
* debian/patches/01-libtoolise.dpatch: updated from common
* debian/libladr4.symbols: updated
* debian/control: updated for new prover9-doc
* debian/control: Vcs-Bzr uses nosmart+http protocol
* debian/clausefilter.1, debian/clausetester.1, debian/control,
debian/copyright, debian/interpfilter.1, debian/interpformat.1,
debian/isofilter.1, debian/ladr4-apps.1,
debian/ladr4-apps.README.Debian, debian/mace4.1,
debian/prooftrans.1, debian/prover9.1, debian/rewriter.1: changed
maintainer email address (again)
* debian/ladr4-apps.install, debian/ladr4-apps.links: new application
rewriter2
* debian/control: do not duplicate "Section" field for binary packages
* debian/copyright: changed year to 2009, corrected expression of
copyright, refer to GPL-2 explicitly
2008-09-13 - Peter Collingbourne <peter@peter.uk.to>
ladr (0.0.200809a-1) unstable; urgency=low
* New upstream release.
* debian/patches/01-libtoolise.dpatch: new programmatic patch script,
original version by Heinz Wiesinger <pprkut@liwjatan.at>
* debian/control: updated for new prover9-doc
* debian/libladr4.symbols: updated
* debian/clausefilter.1, debian/clausetester.1, debian/control,
debian/copyright, debian/interpfilter.1, debian/interpformat.1,
debian/isofilter.1, debian/ladr4-apps.1,
debian/ladr4-apps.README.Debian, debian/mace4.1,
debian/prooftrans.1, debian/prover9.1, debian/rewriter.1: changed
maintainer email address

See Also

Package Description
libladr4_0.0.200911a-2.1_amd64.deb the LADR deduction library
libladspa-ocaml-dev_0.1.4-1+b2_amd64.deb OCaml bindings for LADSPA -- developpement files
libladspa-ocaml_0.1.4-1+b2_amd64.deb OCaml bindings for LADSPA -- runtime files
liblaf-plugin-java_1.0-2_all.deb support for third-party components in Java look-and-feel libraries
liblaf-widget-java-doc_4.3-2_all.deb Java widget toolbox for look-and-feel libraries - documentation
liblaf-widget-java_4.3-2_all.deb Java widget toolbox for other look-and-feel libraries
liblam4_7.1.4-3.1_amd64.deb Shared libraries used by LAM parallel programs
liblangtag-common_0.5.1-3_all.deb library to access tags for identifying languages -- data
liblangtag-dev_0.5.1-3_amd64.deb library to access tags for identifying languages -- development
liblangtag-doc_0.5.1-3_all.deb library to access tags for identifying languages -- documentation
liblangtag-gobject0_0.5.1-3_amd64.deb library to access tags for identifying languages
liblangtag1_0.5.1-3_amd64.deb library to access tags for identifying languages
liblapack-dev_3.5.0-4_amd64.deb Library of linear algebra routines 3 - static version
liblapack-doc-man_3.5.0-4_all.deb Library of linear algebra routines 3 - documentation (manual pages)
liblapack-doc_3.5.0-4_all.deb Library of linear algebra routines 3 - documentation
Advertisement
Advertisement