Go
Register
|
Log in
Subscribe
mcrl2
formal specification language toolset
×
Choose email to subscribe with
general
source:
mcrl2
(
source
,
math
)
version:
201409.0-1
maintainer:
Sjoerd Cranen
[
DMD
]
uploaders:
Paul van Tilburg
[
DMD
]
arch:
any
std-ver:
3.9.5
VCS:
Subversion
(
Browse
)
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
o-o-stable:
201202.0-2
oldstable:
201409.0-1
unstable:
201409.0-1
versioned links
201202.0-2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
201409.0-1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
mcrl2
action needed
A new upstream version is available:
201707.1.15024
high
A new upstream version
201707.1.15024
is available, you should consider packaging it.
The package has not entered testing even though the delay is over
normal
The package has not entered
testing
even though the 5-day delay is over.
Check why
.
1 bug
tagged patch in the
BTS
normal
The
BTS
contains
patches fixing 1 bug
, consider including or untagging them.
lintian reports
327 warnings
normal
Lintian
reports
327 warnings
about this package. You should make the package
lintian clean
getting rid of them.
Build log checks report
3 warnings
low
Build log checks
report
3 warnings
testing migrations
This package will soon be part of the
auto-gl2ps
transition. You might want to ensure that your package is ready for it.
You can probably find supplementary information in the
debian-release archives
or in the corresponding
release.debian.org bug
.
excuses
:
Migration status: BLOCKED: Rejected/introduces a regression (please see below)
1078 days old (needed 5 days)
mcrl2
has new bugs
!
Updating mcrl2 introduces new bugs:
#811860
Piuparts tested OK -
https://piuparts.debian.org/sid/source/m/mcrl2.html
Not considered
news
[rss feed]
[
2017-01-14
]
mcrl2 REMOVED from testing
(
Debian testing watch
)
[
2016-12-29
]
mcrl2 201409.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-07-16
]
mcrl2 REMOVED from testing
(
Debian testing watch
)
[
2014-09-18
]
mcrl2 201409.0-1 MIGRATED to testing
(
Britney
)
[
2014-09-07
]
Accepted mcrl2 201409.0-1 (source amd64) into unstable
(
Paul van Tilburg
)
[
2014-03-07
]
mcrl2 REMOVED from testing
(
Debian testing watch
)
[
2012-10-31
]
Accepted mcrl2 201210.1-1 (source amd64)
(
Jeroen Keiren
)
(signed by:
Paul van Tilburg
)
[
2012-10-12
]
Accepted mcrl2 201210.0-1 (source amd64)
(
Paul van Tilburg
)
[
2012-03-06
]
mcrl2 201202.0-2 MIGRATED to testing
(
Debian testing watch
)
[
2012-02-24
]
Accepted mcrl2 201202.0-2 (source amd64)
(
Paul van Tilburg
)
[
2012-02-23
]
Accepted mcrl2 201202.0-1 (source amd64)
(
Jeroen Keiren
)
(signed by:
Paul van Tilburg
)
[
2011-12-31
]
mcrl2 201107.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-12-20
]
Accepted mcrl2 201107.1-1 (source amd64)
(
Paul van Tilburg
)
[
2011-07-29
]
mcrl2 201107-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-07-19
]
Accepted mcrl2 201107-1 (source amd64)
(
Paul van Tilburg
)
[
2011-04-07
]
mcrl2 201103-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-03-25
]
Accepted mcrl2 201103-1 (source amd64)
(
Paul van Tilburg
)
[
2010-08-14
]
mcrl2 201007~rc1-1 MIGRATED to testing
(
Debian testing watch
)
[
2010-08-03
]
Accepted mcrl2 201007~rc1-1 (source amd64)
(
Paul van Tilburg
)
[
2010-04-27
]
mcrl2 201001+svn7611-1 MIGRATED to testing
(
Debian testing watch
)
[
2010-04-11
]
Accepted mcrl2 201001+svn7611-1 (source amd64)
(
Paul van Tilburg
)
[
2010-03-10
]
Accepted mcrl2 201001-1 (source amd64)
(
Paul van Tilburg
)
bugs
[bug history graph]
all:
2
RC:
1
I&N:
1
M&W:
0
F&P:
0
links
homepage
lintian
(
0
,
327
)
buildd:
logs
,
checks
,
clang
popcon
browse source code
edit tags
screenshots
ubuntu
[Information about Ubuntu for Debian Developers]
version:
201409.0-1ubuntu2
patches for 201409.0-1ubuntu2
![[bug history graph]](https://qa.debian.org/data/bts/graphs/m/mcrl2.png){kind=link}