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: Michael Tautschnig [DMD] – Nilesh Patra [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: 960-1
  • 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: 2022-08-13 09:08
lintian reports 23 warnings normal
Lintian reports 23 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:16
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.1 instead of 4.4.0).
Created: 2019-09-29 Last update: 2022-05-11 23: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, 23)
  • buildd: logs, clang, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 965-2

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