Register
|
Log in
News for package
mcrl2
[
2019-07-09
]
mcrl2 REMOVED from testing
(
Debian testing watch
)
[
2019-07-07
]
Removed 201409.0-1 from unstable
(
Debian FTP Masters
)
[
2017-12-05
]
mcrl2 201409.0-1 MIGRATED to testing
(
Debian testing watch
)
[
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
)
