Debian Package Tracker
Register | Log in
Subscribe

mcrl2

formal specification language toolset

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
versioned links
  • 201409.0-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • mcrl2
package is gone
This package is not in any development repository. This probably means that the package has been removed (or has been renamed). Thus the information here is of little interest ... the package is going to disappear unless someone takes it over and reintroduces it.
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
links
  • homepage
  • buildd: logs, cross
  • popcon
  • edit tags
  • screenshots

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