Debian Package Tracker
Register | Log in
Subscribe

picosat

SAT solver with proof and core support

Choose email to subscribe with

general
  • source: picosat (main)
  • version: 965-2
  • maintainer: Debian Science Team (archive) (DMD)
  • uploaders: Nilesh Patra [DMD] – Michael Tautschnig [DMD]
  • arch: any
  • std-ver: 4.4.0
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 960-1
  • oldstable: 965-2
  • stable: 965-2
  • testing: 965-2
  • unstable: 965-2
versioned links
  • 960-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 965-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • picosat
action needed
1 new commit since last upload, is it time to release? normal
vcswatch reports that this package seems to have new commits in its VCS but has not yet updated debian/changelog. You should consider updating the Debian changelog and uploading this new version into the archive.

Here are the relevant commit logs:
commit fc943e77aab891957e0515b48084c4317b50a9a7
Author: Nilesh Patra <npatra974@gmail.com>
Date:   Fri Mar 5 11:34:18 2021 +0530

    [skip ci] Update email
Created: 2021-03-05 Last update: 2025-05-04 19:56
lintian reports 20 warnings normal
Lintian reports 20 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2021-04-11 Last update: 2025-04-10 14:01
debian/patches: 3 patches to forward upstream low

Among the 3 debian patches available in version 965-2 of the package, we noticed the following issues:

  • 3 patches where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.
Created: 2023-02-26 Last update: 2023-02-26 15:54
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.4.0).
Created: 2019-09-29 Last update: 2025-02-27 13:24
news
[rss feed]
  • [2021-03-03] picosat 965-2 MIGRATED to testing (Debian testing watch)
  • [2021-02-21] Accepted picosat 965-2 (source) into unstable (Nilesh Patra)
  • [2019-08-25] picosat 965-1 MIGRATED to testing (Debian testing watch)
  • [2019-08-20] Accepted picosat 965-1 (source) into unstable (Andreas Tille)
  • [2014-11-21] picosat 960-1 MIGRATED to testing (Britney)
  • [2014-11-08] Accepted picosat 960-1 (source i386) into unstable (Michael Tautschnig)
  • [2014-07-09] picosat 959-1 MIGRATED to testing (Britney)
  • [2014-06-28] Accepted picosat 959-1 (source i386) (Michael Tautschnig)
  • [2013-05-05] picosat 954-1 MIGRATED to testing (Debian testing watch)
  • [2012-12-20] Accepted picosat 954-1 (source i386) (Michael Tautschnig)
  • [2012-12-02] Accepted picosat 953-2 (source i386) (Michael Tautschnig)
  • [2012-12-02] Accepted picosat 953-1 (source i386) (Michael Tautschnig)
  • [2012-03-14] picosat 936-4 MIGRATED to testing (Debian testing watch)
  • [2012-03-03] Accepted picosat 936-4 (source i386) (Michael Tautschnig)
  • [2011-08-20] picosat 936-3 MIGRATED to testing (Debian testing watch)
  • [2011-08-09] Accepted picosat 936-3 (source amd64) (Michael Tautschnig)
  • [2011-04-09] picosat 936-2 MIGRATED to testing (Debian testing watch)
  • [2011-03-29] Accepted picosat 936-2 (source amd64) (Michael Tautschnig)
  • [2011-02-06] picosat 936-1 MIGRATED to testing (Debian testing watch)
  • [2010-08-16] Accepted picosat 936-1 (source amd64) (Michael Tautschnig)
  • [2010-04-23] picosat 913-4 MIGRATED to testing (Debian testing watch)
  • [2010-04-04] Accepted picosat 913-4 (source amd64) (Michael Tautschnig)
  • [2010-04-04] Accepted picosat 913-3 (source amd64) (Michael Tautschnig)
  • [2010-03-06] picosat 913-2 MIGRATED to testing (Debian testing watch)
  • [2010-02-05] Accepted picosat 913-2 (source amd64) (Michael Tautschnig)
  • [2009-11-22] picosat 913-1 MIGRATED to testing (Debian testing watch)
  • [2009-11-02] Accepted picosat 913-1 (source amd64) (Michael Tautschnig)
  • [2009-02-16] picosat 846-1 MIGRATED to testing (Debian testing watch)
  • [2008-09-30] Accepted picosat 846-1 (source s390) (Michael Tautschnig)
  • [2008-06-26] picosat 632-1 MIGRATED to testing (Debian testing watch)
  • 1
  • 2
bugs [bug history graph]
  • all: 0
links
  • homepage
  • lintian (0, 20)
  • buildd: logs, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debian patches
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 965-2

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