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
  • oldstable: 0.0.200911a-2.1
versioned links
  • 0.0.200911a-2.1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • ladr4-apps
  • libladr-dev
  • libladr4
  • prover9
package is gone
This package is not in any development repository. This probably means that the package has been removed (or has been renamed). Thus the information here is of little interest ... the package is going to disappear unless someone takes it over and reintroduces it.
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
links
  • homepage
  • buildd: logs, cross
  • popcon
  • browse source code
  • edit tags
  • other distros

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