Debian Package Tracker
Register | Log in
Subscribe

p9m4

Choose email to subscribe with

general
  • source: p9m4 (main)
  • version: 0.5.dfsg-3
  • maintainer: Debian QA Group (DMD)
  • arch: all
  • std-ver: 3.9.6
  • VCS: unknown
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 0.5.dfsg-3
binaries
  • prover9-mace4
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-09-04] p9m4 REMOVED from testing (Debian testing watch)
  • [2019-09-03] Removed 0.5.dfsg-3 from unstable (Debian FTP Masters)
  • [2015-12-20] p9m4 0.5.dfsg-3 MIGRATED to testing (Debian testing watch)
  • [2015-12-14] Accepted p9m4 0.5.dfsg-3 (source) into unstable (Mattia Rizzolo)
  • [2014-09-10] p9m4 0.5.dfsg-2.2 MIGRATED to testing (Britney)
  • [2014-09-04] Accepted p9m4 0.5.dfsg-2.2 (source all) into unstable (Olly Betts)
  • [2011-12-14] p9m4 0.5.dfsg-2.1 MIGRATED to testing (Debian testing watch)
  • [2011-12-04] Accepted p9m4 0.5.dfsg-2.1 (source all) (Olly Betts)
  • [2009-05-14] p9m4 0.5.dfsg-2 MIGRATED to testing (Debian testing watch)
  • [2009-05-03] Accepted p9m4 0.5.dfsg-2 (source all) (Peter Collingbourne)
  • [2008-03-11] p9m4 0.5.dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2008-03-01] Accepted p9m4 0.5.dfsg-1 (source all) (Peter Collingbourne)
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