Debian Package Tracker
Register | Log in
Subscribe

p9m4

GUI for Prover9 and Mace4

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
  • oldstable: 0.5.dfsg-3
versioned links
  • 0.5.dfsg-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • prover9-mace4 (1 bugs: 0, 1, 0, 0)
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-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: 1
  • RC: 0
  • I&N: 1
  • M&W: 0
  • F&P: 0
  • patch: 0
links
  • homepage
  • buildd: logs
  • 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