picosat - Debian Package Tracker

general

source: picosat (main)
version: 965-3
maintainer: Debian Science Team (archive) (DMD)
uploaders: Michael Tautschnig [DMD]
arch: any
std-ver: 4.7.2
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

o-o-stable: 965-2
oldstable: 965-2
stable: 965-2
testing: 965-3
unstable: 965-3

versioned links

965-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
965-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

picosat

action needed

3 new commits 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 cf3a8c27ddeebdfeff4e93897bacd838f0a3d4d4
Author: Alexandre Detiste <alexandre.detiste@gmail.com>
Date:   Mon Oct 19 01:16:07 2026 +0200

    bump S.V. to 4.7.4 & drop Priority: tag

commit da852e1f7ff8ce23e8410e613d5cca10c827daa7
Author: Alexandre Detiste <alexandre.detiste@gmail.com>
Date:   Mon Oct 19 00:57:43 2026 +0200

    rename debian/install for future debhelper 14 compatibility

commit beca8f794c22d2a6adfa9810bc2d7729c4120799
Author: Alexandre Detiste <alexandre.detiste@gmail.com>
Date:   Mon Oct 19 00:11:00 2026 +0200

    fix Team name

Created: 2026-10-19 Last update: 2026-10-19 00:00

lintian reports 21 warnings normal

Lintian reports 21 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2025-11-01 Last update: 2026-05-16 12:01

debian/patches: 3 patches to forward upstream low

Among the 3 debian patches available in version 965-3 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: 2025-11-01 20:00

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.4 instead of 4.7.2).

Created: 2025-12-23 Last update: 2026-03-31 15:01

news

[rss feed]

[2025-11-06] picosat 965-3 MIGRATED to testing (Debian testing watch)
[2025-11-01] Accepted picosat 965-3 (source) into unstable (Nilesh Patra)
[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)

bugs [bug history graph]

all: 0

links

homepage
lintian (0, 21)
buildd: logs, reproducibility, cross
popcon
browse source code
other distros
screenshots
debian patches

ubuntu

[Information about Ubuntu for Debian Developers]

version: 965-3