mona
theorem prover based on automata
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/mona
general
source
mona
(
source
,
science
)
version
1.4-18-1
maint
Debian Science Maintainers
(
a
)
,
Ralf Treinen
(u)
std-ver
4.6.0
VCS
Git
(
browse
)
versions
o-o-stable
1.4-17-1
oldstable
1.4-17-2
stable
1.4-18-1
testing
1.4-18-1
unstable
1.4-18-1
Ubuntu
1.4-18-1
binaries
mona
(
0 bugs
:
0
,
0
,
0
,
0
)
theorem prover based on automata
todo
Lintian
reports
44 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.6.0
).
problems
There were override disparities found in suite unstable:
mona: Override says science - optional, .deb says science - extra
news
RSS
[2021-10-25]
mona 1.4-18-1 MIGRATED to testing
(Britney)
[2021-10-23]
Accepted 1.4-18-1 in unstable (medium)
(Debian FTP Masters)
[2019-07-21]
mona 1.4-17-2 MIGRATED to testing
(Britney)
[2019-07-18]
Accepted 1.4-17-2 in unstable (medium)
(Ralf Treinen)
[2016-04-01]
mona 1.4-17-1 MIGRATED to testing
(Britney)
[2016-03-26]
Accepted 1.4-17-1 in unstable (medium)
(Ralf Treinen)
[2016-01-08]
mona REMOVED from testing
(Britney)
[2015-07-14]
mona 1.4-15-1.1 MIGRATED to testing
(Britney)
[2015-07-08]
Accepted 1.4-15-1.1 in unstable (medium)
(Matthias Klose)
[2014-08-24]
mona 1.4-15-1 MIGRATED to testing
(Britney)
[2014-08-18]
Accepted 1.4-15-1 in unstable (medium)
(Ralf Treinen)
[2011-05-22]
mona 1.4-13-3 MIGRATED to testing
(Britney)
[2011-05-11]
Accepted 1.4-13-3 in unstable (low)
(Ralf Treinen)
[2011-05-05]
mona 1.4-13-2 MIGRATED to testing
(Britney)
[2011-04-24]
Accepted 1.4-13-2 in unstable (low)
(Ralf Treinen)
[2009-09-08]
mona 1.4-13-1 MIGRATED to testing
(Britney)
[2009-08-27]
Accepted 1.4-13-1 in unstable (low)
(Ralf Treinen)
[2008-05-01]
mona 1.4-10-1 MIGRATED to testing
(Britney)
[2008-04-15]
Accepted 1.4-10-1 in unstable (low)
(Ralf Treinen)
[2007-07-21]
mona 1.4-8-1 MIGRATED to testing
(Britney)
[2007-07-08]
Accepted 1.4-8-1 in unstable (low)
(Ralf Treinen)
[2005-08-06]
Accepted 1.4-7-4 in unstable (low)
(Ralf Treinen)
[2005-07-12]
Accepted 1.4-7-3 in unstable (low)
(Ralf Treinen)
[2004-12-29]
Accepted 1.4-7-2 in unstable (low)
(Ralf Treinen)
[2004-08-04]
Accepted 1.4-7-1 in unstable (low)
(Ralf Treinen)
[2004-03-06]
Accepted 1.4-5-1 in unstable (low)
(Ralf Treinen)
[2002-02-06]
Accepted 1.4-3-1 in unstable (low)
(Ralf Treinen)
[2000-10-25]
Accepted 1.4-2-1 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
,
44
)
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
1.4-17-2
1.4-18-1
1.4-18-1
1.4-18-1