Debian Package Tracker
Register | Log in
Subscribe

ladr

Choose email to subscribe with

general
  • source: ladr (main)
  • version: 0.0.200911a-2.1
  • maintainer: Debian QA Group (DMD)
  • arch: any
  • std-ver: 3.9.4
  • VCS: Bazaar
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 0.0.200911a-2.1
binaries
  • ladr4-apps
  • libladr-dev
  • libladr4
  • prover9
package is gone
This package is not part of any Debian distribution. Thus you won't find much information here. The package is either very new and hasn't appeared on mirrors yet, or it's an old package that eventually got removed. The old news are kept for historic purpose only.
news
[rss feed]
  • [2019-12-06] ladr REMOVED from testing (Debian testing watch)
  • [2019-12-05] Removed 0.0.200911a-2.1 from unstable (Debian FTP Masters)
  • [2014-10-25] ladr 0.0.200911a-2.1 MIGRATED to testing (Britney)
  • [2014-10-14] Accepted ladr 0.0.200911a-2.1 (source amd64) into unstable (Matthias Klose)
  • [2013-06-05] ladr 0.0.200911a-2 MIGRATED to testing (Debian testing watch)
  • [2013-05-25] Accepted ladr 0.0.200911a-2 (source amd64) (Frank Lichtenheld)
  • [2012-12-12] Accepted ladr 0.0.200911a-1 (source amd64) (Hideki Yamane)
  • [2012-01-23] ladr 0.0.200902a-2.1 MIGRATED to testing (Debian testing watch)
  • [2012-01-13] Accepted ladr 0.0.200902a-2.1 (source amd64) (Hideki Yamane)
  • [2009-05-14] ladr 0.0.200902a-2 MIGRATED to testing (Debian testing watch)
  • [2009-05-03] Accepted ladr 0.0.200902a-2 (source amd64) (Peter Collingbourne)
  • [2009-03-26] ladr 0.0.200902a-1 MIGRATED to testing (Debian testing watch)
  • [2009-03-15] Accepted ladr 0.0.200902a-1 (source amd64) (Peter Collingbourne)
  • [2009-03-10] ladr 0.0.200811a-1 MIGRATED to testing (Debian testing watch)
  • [2009-02-17] Accepted ladr 0.0.200811a-1 (source amd64) (Peter Collingbourne)
  • [2009-02-16] ladr 0.0.200809a-1 MIGRATED to testing (Debian testing watch)
  • [2008-09-14] Accepted ladr 0.0.200809a-1 (source i386) (Peter Collingbourne)
  • [2008-07-11] ladr 0.0.200806a-1 MIGRATED to testing (Debian testing watch)
  • [2008-06-29] Accepted ladr 0.0.200806a-1 (source i386) (Peter Collingbourne)
  • [2008-06-08] ladr 0.0.200805a-1 MIGRATED to testing (Debian testing watch)
  • [2008-05-28] Accepted ladr 0.0.200805a-1 (source amd64) (Peter Collingbourne) (signed by: Bernd Zeimetz)
  • [2008-04-20] ladr 0.0.200804a-1 MIGRATED to testing (Debian testing watch)
  • [2008-04-09] Accepted ladr 0.0.200804a-1 (source amd64) (Peter Collingbourne) (signed by: Bernd Zeimetz)
  • [2008-02-21] ladr 0.0.200712-2 MIGRATED to testing (Debian testing watch)
  • [2008-02-10] Accepted ladr 0.0.200712-2 (source i386) (Peter Collingbourne) (signed by: Bernd Zeimetz)
  • [2008-02-09] Accepted ladr 0.0.200712-1 (source i386) (Peter Collingbourne) (signed by: Bernd Zeimetz)
bugs [bug history graph]
  • all: 0

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing