Debian Package Tracker
Register | Log in
Subscribe

depqbf

solver for quantified boolean formulae

Choose email to subscribe with

general
  • source: depqbf (main)
  • version: 5.01-3
  • maintainer: Debian Science Maintainers (archive) (DMD)
  • uploaders: Thomas Krennwallner [DMD] [DM]
  • arch: any
  • std-ver: 4.1.4
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 5.01-1
  • oldstable: 5.01-3
  • stable: 5.01-3
  • testing: 5.01-3
  • unstable: 5.01-3
versioned links
  • 5.01-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 5.01-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • depqbf
action needed
Problems while searching for a new upstream version high
uscan had problems while searching for a new upstream version:
In debian/watch no matching files for watch line
  https://github.com/lonsing/depqbf/releases /lonsing/depqbf/archive/version-(\d[\d\.]*)\.tar\.gz
Created: 2021-03-20 Last update: 2023-03-21 15:37
lintian reports 1 error high
Lintian reports 1 error about this package. You should make the package lintian clean getting rid of them.
Created: 2022-07-30 Last update: 2022-07-30 12:12
version in VCS is newer than in repository, is it time to upload? normal
vcswatch reports that this package seems to have a new changelog entry (version 5.01-4, 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 79f2c402853e6f674f9d32a3a82468a75be224f5
Merge: 05eba31 e4bee04
Author: Stuart Prescott <stuart@debian.org>
Date:   Thu Nov 24 03:49:17 2022 +0000

    Merge branch 'lintian-fixes' into 'master'
    
    Fix some issues reported by lintian
    
    See merge request science-team/depqbf!1

commit e4bee042330bf33cb745e450c334e79885623ec9
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Sun Nov 20 20:47:09 2022 +0000

    Update standards version to 4.1.5, no changes needed.
    
    Changes-By: lintian-brush
    Fixes: lintian: out-of-date-standards-version
    See-also: https://lintian.debian.org/tags/out-of-date-standards-version.html

commit 2c948e417fb40c853e1e2ac6125f67e8f257cbb3
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Sun Nov 20 20:47:07 2022 +0000

    Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
    
    Changes-By: lintian-brush
    Fixes: lintian: upstream-metadata-file-is-missing
    See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html
    Fixes: lintian: upstream-metadata-missing-bug-tracking
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html

commit a4878439c274f82025696a927780f272742ca2e4
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Sun Nov 20 20:47:00 2022 +0000

    Update renamed lintian tag names in lintian overrides.
    
    Changes-By: lintian-brush
    Fixes: lintian: renamed-tag
    See-also: https://lintian.debian.org/tags/renamed-tag.html

commit 9f13652118bcbe29a46a28a4ab6fdc5ed3909afc
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Sun Nov 20 20:47:00 2022 +0000

    Set debhelper-compat version in Build-Depends.
    
    Changes-By: lintian-brush
    Fixes: lintian: uses-debhelper-compat-file
    See-also: https://lintian.debian.org/tags/uses-debhelper-compat-file.html

commit 4d08da3aed40cee792d120bee9cb2f3e07e9b1e4
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Sun Nov 20 20:46:59 2022 +0000

    Bump debhelper from old 11 to 13.
    
    Changes-By: lintian-brush
    Fixes: lintian: package-uses-old-debhelper-compat-version
    See-also: https://lintian.debian.org/tags/package-uses-old-debhelper-compat-version.html

commit a4fd0ef34714f79e472b214183bcd131e9d7038e
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Sun Nov 20 20:46:59 2022 +0000

    debian/copyright: use spaces rather than tabs to start continuation lines.
    
    Changes-By: lintian-brush
    Fixes: lintian: tab-in-license-text
    See-also: https://lintian.debian.org/tags/tab-in-license-text.html
Created: 2022-11-24 Last update: 2023-03-13 15:07
debian/patches: 2 patches to forward upstream low

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

  • 2 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.6.2 instead of 4.1.4).
Created: 2018-08-20 Last update: 2022-12-17 19:17
news
[rss feed]
  • [2018-05-09] depqbf 5.01-3 MIGRATED to testing (Debian testing watch)
  • [2018-05-06] Accepted depqbf 5.01-3 (source) into unstable (Thomas Krennwallner)
  • [2018-05-05] Accepted depqbf 5.01-2 (source) into unstable (Thomas Krennwallner)
  • [2016-12-03] depqbf 5.01-1 MIGRATED to testing (Debian testing watch)
  • [2016-11-27] Accepted depqbf 5.01-1 (source amd64) into unstable (Thomas Krennwallner)
  • [2015-12-28] depqbf 5.0-1 MIGRATED to testing (Debian testing watch)
  • [2015-12-22] Accepted depqbf 5.0-1 (source amd64) into unstable (Thomas Krennwallner)
  • [2014-10-10] depqbf 3.04-1 MIGRATED to testing (Britney)
  • [2014-10-04] Accepted depqbf 3.04-1 (source amd64) into unstable (Thomas Krennwallner)
  • [2014-05-04] depqbf 3.02-1 MIGRATED to testing (Debian testing watch)
  • [2014-04-24] Accepted depqbf 3.02-1 (source amd64) (Thomas Krennwallner)
  • [2014-04-20] Accepted depqbf 3.01-1 (source amd64) (Thomas Krennwallner)
  • [2014-03-03] depqbf 3.0-1 MIGRATED to testing (Debian testing watch)
  • [2014-02-20] Accepted depqbf 3.0-1 (source amd64) (Thomas Krennwallner)
  • [2013-10-01] depqbf 2.0-1 MIGRATED to testing (Debian testing watch)
  • [2013-09-20] Accepted depqbf 2.0-1 (source amd64) (Thomas Krennwallner)
  • [2013-05-05] depqbf 1.0-1 MIGRATED to testing (Debian testing watch)
  • [2012-08-12] Accepted depqbf 1.0-1 (source amd64) (Thomas Krennwallner)
  • [2011-09-17] depqbf 0.1-1 MIGRATED to testing (Debian testing watch)
  • [2011-09-06] Accepted depqbf 0.1-1 (source i386) (Thomas Krennwallner) (signed by: Michael Tautschnig)
bugs [bug history graph]
  • all: 0
links
  • homepage
  • lintian (1, 0)
  • buildd: logs, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debian patches
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 5.01-3

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