Ubuntu
mcrl2 package

Publishing history of mcrl2 package in Ubuntu

1 → 34 of 34 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  Deleted Eoan release universe math 201409.0-1ubuntu3
  • Removal requested .
  • Deleted by Steve Langasek

    (From Debian) RoM; not maintained for years; low popcon; Debian bug #929985

  • Published
  • Copied from ubuntu bionic in Primary Archive for Ubuntu
  2020-07-14 06:39:25 UTC Obsolete Disco release universe math 201409.0-1ubuntu3
  • Removal requested .
  • Published
  • Copied from ubuntu bionic in Primary Archive for Ubuntu
  2020-07-13 02:35:12 UTC Obsolete Cosmic release universe math 201409.0-1ubuntu3
  • Removal requested .
  • Published
  • Copied from ubuntu bionic in Primary Archive for Ubuntu
  2017-11-22 03:18:53 UTC Published Bionic release universe math 201409.0-1ubuntu3
  Deleted Bionic proposed universe math 201409.0-1ubuntu3
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-11-22 03:48:34 UTC Superseded Bionic release universe math 201409.0-1ubuntu2
  • Removed from disk .
  • Removal requested .
  • Superseded by mcrl2 - 201409.0-1ubuntu3
  • Published
  • Copied from ubuntu yakkety in Primary Archive for Ubuntu
  2020-07-10 15:03:46 UTC Obsolete Artful release universe math 201409.0-1ubuntu2
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu yakkety in Primary Archive for Ubuntu
  2018-06-22 04:55:56 UTC Obsolete Zesty release universe math 201409.0-1ubuntu2
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu yakkety in Primary Archive for Ubuntu
  2018-01-23 00:52:03 UTC Obsolete Yakkety release universe math 201409.0-1ubuntu2
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2020-07-10 18:10:10 UTC Deleted Yakkety proposed universe math 201409.0-1ubuntu2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2016-06-10 14:43:22 UTC Superseded Yakkety release universe math 201409.0-1ubuntu1
  • Removal requested .
  • Superseded by mcrl2 - 201409.0-1ubuntu2
  • Published
  • Copied from ubuntu vivid in Primary Archive for Ubuntu
  2015-10-22 15:20:22 UTC Published Xenial release universe math 201409.0-1ubuntu1
  • Published
  • Copied from ubuntu vivid in Primary Archive for Ubuntu
  2018-01-22 04:16:43 UTC Obsolete Wily release universe math 201409.0-1ubuntu1
  • Removal requested .
  • Published
  • Copied from ubuntu vivid in Primary Archive for Ubuntu
  2018-01-18 23:34:00 UTC Obsolete Vivid release universe math 201409.0-1ubuntu1
  Deleted Vivid proposed universe math 201409.0-1ubuntu1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2015-01-12 02:13:27 UTC Superseded Vivid release universe math 201210.1-1ubuntu1
  • Removal requested .
  • Superseded by mcrl2 - 201409.0-1ubuntu1
  • Published
  • Copied from ubuntu raring in Primary Archive for Ubuntu
  2016-11-03 06:09:53 UTC Obsolete Utopic release universe math 201210.1-1ubuntu1
  • Removal requested .
  • Published
  • Copied from ubuntu raring in Primary Archive for Ubuntu
  2013-10-18 14:25:21 UTC Published Trusty release universe math 201210.1-1ubuntu1
  • Published
  • Copied from ubuntu raring in Primary Archive for Ubuntu
  2015-04-24 12:50:55 UTC Obsolete Saucy release universe math 201210.1-1ubuntu1
  • Removal requested .
  • Published
  • Copied from ubuntu raring in Primary Archive for Ubuntu
  2015-04-24 12:12:58 UTC Obsolete Raring release universe math 201210.1-1ubuntu1
  Deleted Raring proposed universe math 201210.1-1ubuntu1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2012-11-05 13:34:59 UTC Superseded Raring proposed universe math 201210.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by mcrl2 - 201210.1-1ubuntu1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2012-11-01 08:33:30 UTC Superseded Raring proposed universe math 201210.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by mcrl2 - 201210.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Colin Watson)
  2012-11-05 18:34:41 UTC Superseded Raring release universe math 201202.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by mcrl2 - 201210.1-1ubuntu1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-04-24 11:19:49 UTC Obsolete Quantal release universe math 201202.0-2
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Colin Watson)
  2012-05-01 00:13:35 UTC Superseded Quantal release universe math 201107.1-1
  • Removal requested .
  • Superseded by mcrl2 - 201202.0-2
  • Published
  • Copied from ubuntu precise in Primary Archive for Ubuntu
  2012-01-03 03:04:25 UTC Published Precise release universe math 201107.1-1
  • Published
  2012-01-03 03:07:15 UTC Superseded Precise release universe math 201107-1
  • Removed from disk .
  • Removal requested .
  • Superseded by mcrl2 - 201107.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-04-24 09:57:35 UTC Obsolete Oneiric release universe math 201107-1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2011-07-27 12:11:06 UTC Superseded Oneiric release universe math 201103-1
  • Removed from disk .
  • Removal requested .
  • Superseded by mcrl2 - 201107-1
  • Published
  2011-04-30 17:08:56 UTC Superseded Oneiric release universe math 201007~rc1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by mcrl2 - 201103-1
  • Published
  • Copied from ubuntu natty in Primary Archive for Ubuntu
  2013-06-04 02:07:47 UTC Obsolete Natty release universe math 201007~rc1-1
  • Removed from disk .
  • Removal requested .
  • Published
  2010-10-15 13:10:08 UTC Superseded Natty release universe math 201001+svn7611-1
  • Removed from disk .
  • Removal requested .
  • Superseded by mcrl2 - 201007~rc1-1
  • Published
  • Copied from ubuntu maverick in Primary Archive for Ubuntu
  2013-03-05 01:38:15 UTC Obsolete Maverick release universe math 201001+svn7611-1
  • Removed from disk .
  • Removal requested .
  • Published
1 → 34 of 34 results First • Previous • Next • Last

«back