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.9-1.1
  • maintainer: Debian Science Maintainers (archive) (DMD)
  • uploaders: Ralf Treinen [DMD]
  • arch: any
  • std-ver: 4.5.0
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • oldstable: 3.9-1.1
  • stable: 3.9-1.1
  • testing: 3.9-1.1
  • unstable: 3.9-1.1
versioned links
  • 3.9-1.1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • spass
action needed
The VCS repository is not up to date, push the missing commits. high
vcswatch reports that the current version of the package is not in its VCS.
Either you need to push your commits and/or your tags, or the information about the package's VCS are out of date. A common cause of the latter issue when using the Git VCS is not specifying the correct branch when the packaging is not in the default one (remote HEAD branch), which is usually "master" but can be modified in salsa.debian.org in the project's general settings with the "Default Branch" field). Alternatively the Vcs-Git field in debian/control can contain a "-b <branch-name>" suffix to indicate what branch is used for the Debian packaging.
Created: 2021-02-04 Last update: 2025-05-19 05:59
lintian reports 3 warnings normal
Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2021-04-11 Last update: 2022-07-30 12:17
Build log checks report 1 warning low
Build log checks report 1 warning
Created: 2014-07-02 Last update: 2014-07-02 18:05
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.2 instead of 4.5.0).
Created: 2020-11-17 Last update: 2025-02-27 13:24
news
[rss feed]
  • [2021-02-07] spass 3.9-1.1 MIGRATED to testing (Debian testing watch)
  • [2021-02-04] Accepted spass 3.9-1.1 (source) into unstable (Adrian Bunk)
  • [2020-05-01] spass 3.9-1 MIGRATED to testing (Debian testing watch)
  • [2020-04-29] Accepted spass 3.9-1 (source) into unstable (Ralf Treinen)
  • [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: 1
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian (0, 3)
  • buildd: logs, checks, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 3.9-1.1

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