Debian Package Tracker
Register | Log in
Subscribe

lbt

converts from LTL formulas to Büchi automata

Choose email to subscribe with

general
  • source: lbt (main)
  • version: 1.2.2-7
  • 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]
  • o-o-stable: 1.2.2-6
  • oldstable: 1.2.2-7
  • stable: 1.2.2-7
  • testing: 1.2.2-7
  • unstable: 1.2.2-7
versioned links
  • 1.2.2-6: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 1.2.2-7: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • lbt
action needed
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 1.2.2-8, 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 315ccf67a3b38b064885415fe5c9fcc6ce04d958
Merge: 9264ae6 2b011ca
Author: Stuart Prescott <stuart@debian.org>
Date:   Thu Nov 24 03:33:34 2022 +0000

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

commit 2b011ca59f5946d5fd9953645e3d381074cb6735
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu May 5 12:44:58 2022 +0000

    Update standards version to 4.6.0, 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 3b803944e53b7e867c63f7d9b9ebd631c9ea2b3e
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu May 5 12:44:52 2022 +0000

    Bump debhelper from old 12 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 c87cbf4b07b930203a169d83168688bd4e674806
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu May 5 12:44:47 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: 2025-05-20 14:03
lintian reports 3 warnings normal
Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2020-09-21 Last update: 2022-07-30 12:14
debian/patches: 1 patch to forward upstream low

Among the 1 debian patch available in version 1.2.2-7 of the package, we noticed the following issues:

  • 1 patch 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
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:25
news
[rss feed]
  • [2020-05-03] lbt 1.2.2-7 MIGRATED to testing (Debian testing watch)
  • [2020-05-01] Accepted lbt 1.2.2-7 (source) into unstable (Ralf Treinen)
  • [2016-12-17] lbt 1.2.2-6 MIGRATED to testing (Debian testing watch)
  • [2016-12-06] Accepted lbt 1.2.2-6 (source) into unstable (Ralf Treinen)
  • [2011-05-24] lbt 1.2.2-5 MIGRATED to testing (Debian testing watch)
  • [2011-05-13] Accepted lbt 1.2.2-5 (source amd64) (Ralf Treinen)
  • [2009-09-10] lbt 1.2.2-4 MIGRATED to testing (Debian testing watch)
  • [2009-08-30] Accepted lbt 1.2.2-4 (source amd64) (Ralf Treinen)
  • [2005-08-03] Accepted lbt 1.2.2-3 (source i386) (Ralf Treinen)
  • [2005-07-06] Accepted lbt 1.2.2-2 (i386 source) (Ralf Treinen)
  • [2005-01-07] Accepted lbt 1.2.2-1 (i386 source) (Ralf Treinen)
  • [2003-09-07] Accepted lbt 1.2.1-2 (i386 source) (Ralf Treinen)
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
  • debian patches
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 1.2.2-7

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