Debian Package Tracker
Register | Log in
Subscribe

mcrl2

Choose email to subscribe with

general
  • source: mcrl2 (main)
  • 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: 201409.0-1
binaries
  • mcrl2
package is gone
This package is not part of any Debian distribution. Thus you won't find much information here. The package is either very new and hasn't appeared on mirrors yet, or it's an old package that eventually got removed. The old news are kept for historic purpose only.
news
[rss feed]
  • [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)
bugs [bug history graph]
  • all: 0

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