Ubuntu
mcrl2 package

Publishing history of mcrl2 201409.0-1ubuntu3 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
		Deleted	Eoan	release	universe	math	201409.0-1ubuntu3
Removal requested on 2019-07-16. Deleted on 2019-07-16 by Steve Langasek (From Debian) RoM; not maintained for years; low popcon; Debian bug #929985 Published on 2019-04-18 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 on 2020-07-14. Published on 2018-10-30 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 on 2020-07-13. Published on 2018-05-01 Copied from ubuntu bionic in Primary Archive for Ubuntu
	2017-11-22 03:18:53 UTC	Published	Bionic	release	universe	math	201409.0-1ubuntu3
Created on 2017-11-22 by Ubuntu Archive Auto-Sync Published on 2017-11-22
		Deleted	Bionic	proposed	universe	math	201409.0-1ubuntu3
Removal requested on 2017-11-22. Deleted on 2017-11-22 by Ubuntu Archive Robot moved to release Published on 2017-11-11