ladr4-apps_0.0.200911a-2.1_amd64.deb


Advertisement

Description

ladr4-apps - the LADR deduction library, miscellaneous applications

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name ladr4-apps
Package version 0.0.200911a
Package release 2.1
Package architecture amd64
Package type deb
Installed size 891 B
Download size 152.86 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 miscellaneous LADR applications.

Alternatives

Package Version Architecture Repository
ladr4-apps_0.0.200911a-2.1_i386.deb 0.0.200911a i386 Debian Main
ladr4-apps - - -

Requires

Name Value
libc6 >= 2.7
libladr4 >= 0.0.200902a
python -

Download

Type URL
Binary Package ladr4-apps_0.0.200911a-2.1_amd64.deb
Source Package ladr

Install Howto

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

Files

Path
/usr/bin/attack
/usr/bin/autosketches4
/usr/bin/clausefilter
/usr/bin/clausetester
/usr/bin/complex
/usr/bin/directproof
/usr/bin/dprofiles
/usr/bin/fof-prover9
/usr/bin/get_givens
/usr/bin/get_interps
/usr/bin/get_kept
/usr/bin/gvizify
/usr/bin/idfilter
/usr/bin/interpfilter
/usr/bin/ladr_to_tptp
/usr/bin/latfilter
/usr/bin/looper
/usr/bin/miniscope
/usr/bin/mirror-flip
/usr/bin/newauto
/usr/bin/newsax
/usr/bin/olfilter
/usr/bin/perm3
/usr/bin/renamer
/usr/bin/rewriter
/usr/bin/sigtest
/usr/bin/tptp_to_ladr
/usr/bin/unfast
/usr/bin/upper-covers
/usr/share/doc/ladr4-apps/README.Debian
/usr/share/doc/ladr4-apps/README.directproof.gz
/usr/share/doc/ladr4-apps/changelog.Debian.gz
/usr/share/doc/ladr4-apps/changelog.gz
/usr/share/doc/ladr4-apps/copyright
/usr/share/man/man1/attack.1.gz
/usr/share/man/man1/autosketches4.1.gz
/usr/share/man/man1/clausefilter.1.gz
/usr/share/man/man1/clausetester.1.gz
/usr/share/man/man1/complex.1.gz
/usr/share/man/man1/directproof.1.gz
/usr/share/man/man1/dprofiles.1.gz
/usr/share/man/man1/fof-prover9.1.gz
/usr/share/man/man1/get_givens.1.gz
/usr/share/man/man1/get_interps.1.gz
/usr/share/man/man1/get_kept.1.gz
/usr/share/man/man1/gvizify.1.gz
/usr/share/man/man1/idfilter.1.gz
/usr/share/man/man1/interpfilter.1.gz
/usr/share/man/man1/ladr4-apps.1.gz
/usr/share/man/man1/ladr_to_tptp.1.gz
/usr/share/man/man1/latfilter.1.gz
/usr/share/man/man1/looper.1.gz
/usr/share/man/man1/miniscope.1.gz
/usr/share/man/man1/mirror-flip.1.gz
/usr/share/man/man1/newauto.1.gz
/usr/share/man/man1/newsax.1.gz
/usr/share/man/man1/olfilter.1.gz
/usr/share/man/man1/perm3.1.gz
/usr/share/man/man1/renamer.1.gz
/usr/share/man/man1/rewriter.1.gz
/usr/share/man/man1/sigtest.1.gz
/usr/share/man/man1/tptp_to_ladr.1.gz
/usr/share/man/man1/unfast.1.gz
/usr/share/man/man1/upper-covers.1.gz

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
ladspa-sdk_1.13-2_amd64.deb sample tools for linux-audio-dev plugin architecture
ladvd_0.9.2-2_amd64.deb minimal LLDP/CDP sender
lakai_0.1-1_amd64.deb transfers samples between a PC and an AKAI sampler
lam-mpidoc_7.1.4-3.1_all.deb Documentation for the Message Passing Interface standard
lam-runtime_7.1.4-3.1_amd64.deb LAM runtime environment for executing parallel programs
lam4-dev_7.1.4-3.1_amd64.deb Development of parallel programs using LAM
lambdabot_4.3.0.1-1_amd64.deb Development tool and advanced IRC bot
lame-doc_3.99.5+repack1-7+deb8u2_all.deb MP3 encoding library (documentation)
lame_3.99.5+repack1-7+deb8u2_amd64.deb MP3 encoding library (frontend)
lammps-doc_0~20140523.gite5e877d-1_all.deb Molecular Dynamics Simulator. Documentation and examples
lammps_0~20140523.gite5e877d-1+b2_amd64.deb Molecular Dynamics Simulator
langdrill_0.3-7_amd64.deb language drills to test vocabulary
langford-dkms_0.0.20130228-3_all.deb Kernel drivers for the Per Vices Noctar IQ demodulator board
langford-utils_0.0.20130228-3_amd64.deb Control programs for the Per Vices Noctar IQ demodulator board
laptop-detect_0.13.7_amd64.deb attempt to detect a laptop
Advertisement
Advertisement