lbt
converts from LTL formulas to Büchi automata
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/lbt
general
source
lbt
(
source
,
science
)
version
1.2.2-7
maint
Debian Science Maintainers
(
a
)
,
Ralf Treinen
(u)
std-ver
4.5.0
VCS
Git
(
browse
)
versions
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
Ubuntu
1.2.2-7
binaries
lbt
(
0 bugs
:
0
,
0
,
0
,
0
)
converts from LTL formulas to Büchi automata
todo
Lintian
reports
3 warnings
about this package. You should make the package
lintian clean
getting rid of them.
Build log checks
report
1 warning
about this package.
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.6.2
instead of
4.5.0
).
problems
There were override disparities found in suite unstable:
lbt: Override says science - optional, .deb says science - extra
news
RSS
[2020-05-03]
lbt 1.2.2-7 MIGRATED to testing
(Britney)
[2020-05-01]
Accepted 1.2.2-7 in unstable (medium)
(Debian FTP Masters)
[2016-12-17]
lbt 1.2.2-6 MIGRATED to testing
(Britney)
[2016-12-06]
Accepted 1.2.2-6 in unstable (medium)
(Ralf Treinen)
[2011-05-24]
lbt 1.2.2-5 MIGRATED to testing
(Britney)
[2011-05-13]
Accepted 1.2.2-5 in unstable (low)
(Ralf Treinen)
[2009-09-10]
lbt 1.2.2-4 MIGRATED to testing
(Britney)
[2009-08-30]
Accepted 1.2.2-4 in unstable (low)
(Ralf Treinen)
[2005-08-03]
Accepted 1.2.2-3 in unstable (low)
(Ralf Treinen)
[2005-07-06]
Accepted 1.2.2-2 in unstable (low)
(Ralf Treinen)
[2005-01-07]
Accepted 1.2.2-1 in unstable (low)
(Ralf Treinen)
[2003-09-07]
Accepted 1.2.1-2 in unstable (low)
(Ralf Treinen)
bugs
all
1
RC
0
I&N
0
M&W
1
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
tests
(
log
)
lintian
(
0
,
3
)
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
1.2.2-7
1.2.2-7
1.2.2-7
1.2.2-7