Package: wnpp Severity: normal The current maintainer of ladr, Peter Collingbourne <peter@pcc.me.uk>, is not interested anymore in it. Therefore, I orphan this package now. Maintaining a package requires time and skills. Please only adopt this package if you will have enough time and attention to work on it. If you want to be the new maintainer, please see http://www.debian.org/devel/wnpp/index.html#howto-o for detailed instructions how to adopt a package properly. Some information about this package: Package: ladr Binary: libladr-dev, libladr4, prover9, ladr4-apps Version: 0.0.200902a-2.1 Maintainer: Peter Collingbourne <peter@pcc.me.uk> Build-Depends: debhelper (>= 5), libtool, dpatch Architecture: any Standards-Version: 3.8.1 Format: 1.0 Files: e8951dc61e16d5c795744079b8b7aa64 1945 ladr_0.0.200902a-2.1.dsc f37a5304737ea2b14caf90d0a784964e 1970966 ladr_0.0.200902a.orig.tar.gz 41d4744a4ef936a23d563adecf1dcf42 18079 ladr_0.0.200902a-2.1.diff.gz Dm-Upload-Allowed: yes Vcs-Bzr: nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/ Checksums-Sha1: 55089824ed1d97a1eff12ffe4a466671f24d230a 1945 ladr_0.0.200902a-2.1.dsc 2ce0122f363ff3355bd9a359ec3d183923c2fd41 1970966 ladr_0.0.200902a.orig.tar.gz 5bc089d5c95c706a097ba6722c74691387045abe 18079 ladr_0.0.200902a-2.1.diff.gz Checksums-Sha256: a7f0e0575f47f7fc14a0471882da031f8f78c851aa08e4ae7ebee747ce920da4 1945 ladr_0.0.200902a-2.1.dsc 3043a93f8339928bf4d839b92c7dc204011cc3d9e7adc719a23da8262c2bb95a 1970966 ladr_0.0.200902a.orig.tar.gz ff3c2a9382f836c206f19e226e795cf65d5ddfe413a9f9c8da937aac1f966d38 18079 ladr_0.0.200902a-2.1.diff.gz Homepage: http://www.cs.unm.edu/~mccune/mace4/ Package-List: ladr4-apps deb math optional libladr-dev deb libdevel optional libladr4 deb libs optional prover9 deb math optional Directory: pool/main/l/ladr Priority: source Section: math Package: libladr-dev Source: ladr Version: 0.0.200902a-2.1 Installed-Size: 1484 Maintainer: Peter Collingbourne <peter@pcc.me.uk> Architecture: amd64 Depends: libladr4 (= 0.0.200902a-2.1) Description-en: the LADR deduction library, development files 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. Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: 417a6343e536b64bad9bd10fd9014480 Tag: devel::library, role::devel-lib Section: libdevel Priority: optional Filename: pool/main/l/ladr/libladr-dev_0.0.200902a-2.1_amd64.deb Size: 407778 MD5sum: 6e05b32817631c5063ab11aad6cb7bac SHA1: 9e2c9dc0afad12ed41ae8fe69a68df6751dcb29d SHA256: 70d906eeed8bacc175f737ac05a027d70c2fac6042ea458b47b53d8510b83105 Package: libladr4 Source: ladr Version: 0.0.200902a-2.1 Installed-Size: 541 Maintainer: Peter Collingbourne <peter@pcc.me.uk> Architecture: amd64 Depends: libc6 (>= 2.2.5) Description-en: the LADR deduction library 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. Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: db21ac657e20aab0a1bdc5cbf768a123 Tag: role::shared-lib Section: libs Priority: optional Filename: pool/main/l/ladr/libladr4_0.0.200902a-2.1_amd64.deb Size: 245148 MD5sum: d1e926df96e84966312e2c2d1c7c17ba SHA1: a4e6eafea2c30a275c3446dd86bcc15586876d80 SHA256: 3225df9f9b7cf2454c08aa74ab72dbad31b546801ddbf05b086c14900a9bb468 Package: prover9 Source: ladr Version: 0.0.200902a-2.1 Installed-Size: 265 Maintainer: Peter Collingbourne <peter@pcc.me.uk> Architecture: amd64 Depends: libc6 (>= 2.7), libladr4 (>= 0.0.200902a) Suggests: ladr4-apps (= 0.0.200902a-2.1), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Description-en: theorem prover and countermodel generator This package provides the Prover9 resolution/paramodulation theorem prover and the Mace4 countermodel generator. . Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. . The program Mace4 searches for finite structures satisfying first-order and equational statements, the same kind of statement that Prover9 accepts. If the statement is the denial of some conjecture, any structures found by Mace4 are counterexamples to the conjecture. . Mace4 can be a valuable complement to Prover9, looking for counterexamples before (or at the same time as) using Prover9 to search for a proof. It can also be used to help debug input clauses and formulas for Prover9. Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: c442e7a696a012e3623fe548e18e8471 Section: math Priority: optional Filename: pool/main/l/ladr/prover9_0.0.200902a-2.1_amd64.deb Size: 128490 MD5sum: 84b7a3242903cbbd19ec26f15255c008 SHA1: 3288bb23b96dbcb2640deebf4f0e70751bd7784a SHA256: cbc9476b431a04655f8dd4d882dec8ed6c79b86a12c8ac4c1f0e909e3807557b Package: ladr4-apps Source: ladr Version: 0.0.200902a-2.1 Installed-Size: 886 Maintainer: Peter Collingbourne <peter@pcc.me.uk> Architecture: amd64 Depends: libc6 (>= 2.7), libladr4 (>= 0.0.200902a), python Recommends: prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Description-en: the LADR deduction library, miscellaneous applications 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. Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: ce715083ec65b9f70befbb37125c836f Tag: role::program Section: math Priority: optional Filename: pool/main/l/ladr/ladr4-apps_0.0.200902a-2.1_amd64.deb Size: 370720 MD5sum: d9a2337999c2e7089677d6d1f775eb18 SHA1: 52e06eba976d1fdee11f868178d9d9eb5f531095 SHA256: b25149b90cf9200ddf0670325199b7468f0d6a41296a5275db4017b5e9b6308d
Attachment:
signature.asc
Description: Digital signature