skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Packages / buster (oldoldstable) / Source / math / ladr

[  buster  ]

Links for ladr

Debian Resources:

• Bug Reports
• Developer Information
• Debian Changelog
• Copyright File
• Debian Patch Tracker

Maintainer:

• Debian QA Group (QA Page)

External Resources:

• Homepage [www.cs.unm.edu]

The following binary packages are built from this source package:

ladr4-apps

the LADR deduction library, miscellaneous applications

libladr-dev

the LADR deduction library, development files

libladr4

the LADR deduction library

prover9

theorem prover and countermodel generator

Other Packages Related to ladr

build-depends

build-depends-indep

• adep: debhelper (>= 7.0.50~)

  helper programs for debian/rules

• adep: libtool

  Generic library support script

• adep: libtool-bin

  Generic library support script (libtool binary)

Download ladr

File	Size (in kB)	MD5 checksum
ladr_0.0.200911a-2.1.dsc	1.3 kB	7be5fc8c35dbbd1146305e8bea275743
ladr_0.0.200911a.orig.tar.gz	1,753.7 kB	ab409f31ecbb4410b1c7d75deadea2c6
ladr_0.0.200911a-2.1.debian.tar.xz	18.9 kB	0fbb593b779deabb43303557995d05fc

Debian Package Source Repository (VCS: bzr)

nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/