Bug#812755: RFA: spass -- An automated theorem prover for first-order logic with equality

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#812755: RFA: spass -- An automated theorem prover for first-order logic with equality
From: stigge@antcom.de
Date: Tue, 26 Jan 2016 10:14:04 +0000
Message-id: <[🔎] 20160126101404.12405.65444.reportbug@antcom.de>
Reply-to: stigge@antcom.de, 812755@bugs.debian.org

Package: wnpp
Severity: normal

I'm not using this package regularly. Therefore, looking for a new maintainer. There was no upstream release since 2010.

Reply to:

Prev by Date: Bug#812754: RFA: ptpd -- Precision Time Protocol daemon
Next by Date: Bug#812757: RFA: swisswatch -- Swiss Railway Clock for the X Window System
Previous by thread: Bug#812754: RFA: ptpd -- Precision Time Protocol daemon
Next by thread: Bug#812757: RFA: swisswatch -- Swiss Railway Clock for the X Window System
Index(es):
- Date
- Thread