Debian Bug report logs - #681042
O: ladr -- the LADR deduction library, development files

Package: wnpp; Maintainer for wnpp is wnpp@debian.org;

Reported by: Ricardo Mones <mones@debian.org>

Date: Tue, 10 Jul 2012 08:48:01 UTC

Severity: normal

Reply or subscribe to this bug.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to debian-bugs-dist@lists.debian.org, peter@pcc.me.uk, wnpp@debian.org:
Bug#681042; Package wnpp. (Tue, 10 Jul 2012 08:48:05 GMT) Full text and rfc822 format available.

Acknowledgement sent to Ricardo Mones <mones@debian.org>:
New Bug report received and forwarded. Copy sent to peter@pcc.me.uk, wnpp@debian.org. (Tue, 10 Jul 2012 08:48:05 GMT) Full text and rfc822 format available.

Message #5 received at submit@bugs.debian.org (full text, mbox):

From: Ricardo Mones <mones@debian.org>
To: submit@bugs.debian.org
Subject: O: ladr -- the LADR deduction library, development files
Date: Tue, 10 Jul 2012 10:45:42 +0200
[Message part 1 (text/plain, inline)]
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

[signature.asc (application/pgp-signature, inline)]

Send a report that this bug log contains spam.


Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Wed Apr 23 14:45:32 2014; Machine Name: buxtehude.debian.org

Debian Bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.