Debian Package Tracker
Register | Log in
Subscribe

spass

automated theorem prover for first-order logic with equality

Choose email to subscribe with

general
  • source: spass (main)
  • version: 3.7-4
  • maintainer: Debian Science Maintainers (archive) [DMD]
  • uploaders: Ralf Treinen [DMD]
  • arch: any
  • std-ver: 3.9.8
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 3.7-3
  • oldstable: 3.7-3
  • stable: 3.7-4
  • unstable: 3.7-4
versioned links
  • 3.7-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 3.7-4: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • spass
action needed
Standards version of the package is outdated. high
The package is severely out of date with respect to the Debian Policy. The package should be updated to follow the last version of Debian Policy (Standards-Version 4.3.0 instead of 3.9.8).
Created: 2018-04-16 Last update: 2018-12-23 17:15
3 new commits since last upload, time to upload? normal
vcswatch reports that this package seems to have a new changelog entry (version 3.9-1, distribution UNRELEASED) and new commits in its VCS. You should consider whether it's time to make an upload.

Here are the relevant commit messages:
commit 6338cf2806fbb4297d0b392a3c023d3214c88646
Author: Ralf Treinen <treinen@free.fr>
Date:   Thu Mar 8 09:27:04 2018 +0100

    new upstream version

commit 58fc471d97dd1a40cbdf1400187376033b523094
Merge: 3d022fd 871f6af
Author: Ralf Treinen <treinen@free.fr>
Date:   Thu Mar 8 09:26:06 2018 +0100

    Update upstream source from tag 'upstream/3.9'
    
    Update to upstream version '3.9'
    with Debian dir 261a7d06e5b3b090edb43accb50b9fadca27020b

commit 871f6af72b093b7d22334c00ab39eff440662198
Author: Ralf Treinen <treinen@free.fr>
Date:   Thu Mar 8 09:26:06 2018 +0100

    New upstream version 3.9


The Vcs URL is using anonscm.debian.org. Please update it for the move to salsa.debian.org.
Created: 2018-03-08 Last update: 2019-02-17 07:02
The package has not entered testing even though the delay is over normal
The package has not entered testing even though the 10-day delay is over. Check why.
Created: 2018-02-17 Last update: 2019-02-17 06:54
lintian reports 14 warnings normal
Lintian reports 14 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2017-06-24 Last update: 2018-09-10 05:13
Build log checks report 1 warning low
Build log checks report 1 warning
Created: 2014-07-02 Last update: 2014-07-02 18:05
testing migrations
  • excuses:
    • 846 days old (10 needed)
    • Updating spass introduces new bugs: #887646
    • Piuparts tested OK - https://piuparts.debian.org/sid/source/s/spass.html
    • Required age reduced by 0 days because of autopkgtest
    • Not touching package due to block request by freeze (please contact debian-release if update is needed)
    • Not considered
news
[rss feed]
  • [2018-02-18] spass REMOVED from testing (Debian testing watch)
  • [2016-10-29] spass 3.7-4 MIGRATED to testing (Debian testing watch)
  • [2016-10-23] Accepted spass 3.7-4 (source) into unstable (Ralf Treinen)
  • [2011-08-26] spass 3.7-3 MIGRATED to testing (Debian testing watch)
  • [2011-08-15] Accepted spass 3.7-3 (source i386) (Roland Stigge)
  • [2010-07-10] spass 3.7-2 MIGRATED to testing (Debian testing watch)
  • [2010-06-29] Accepted spass 3.7-2 (source i386) (Roland Stigge)
  • [2010-06-27] Accepted spass 3.7-1 (source i386) (Roland Stigge)
  • [2008-08-28] spass 2.1-4 MIGRATED to testing (Debian testing watch)
  • [2008-08-17] Accepted spass 2.1-4 (source i386) (Roland Stigge)
  • [2003-10-13] Accepted spass 2.1-3 (i386 source) (Roland Stigge)
  • [2003-10-11] Accepted spass 2.1-2 (source) (Roland Stigge)
  • [2003-05-17] Accepted spass 2.1-1 (i386 source) (Marco Kuhlmann)
  • [2002-09-02] Accepted spass 2.0-3 (i386 source) (Marco Kuhlmann)
  • [2002-09-01] Accepted spass 2.0-2 (i386 source) (Marco Kuhlmann)
  • [2002-08-26] Accepted spass 2.0-1 (i386 source) (Marco Kuhlmann)
bugs [bug history graph]
  • all: 1
  • RC: 0
  • I&N: 0
  • M&W: 0
  • F&P: 1
  • patch: 0
links
  • homepage
  • lintian (0, 14)
  • buildd: logs, checks, clang
  • popcon
  • debci
  • browse source code
  • edit tags
  • screenshots
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 3.7-4

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