Ubuntu
hol-light package

Publishing history of hol-light 20170706-0ubuntu4 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2019-07-29 22:48:41 UTC	Superseded	Eoan	release	universe	math	20170706-0ubuntu4
Removal requested on 2019-07-30. Superseded on 2019-07-29 by hol-light - 20190729-1 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	20170706-0ubuntu4
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	20170706-0ubuntu4
Removal requested on 2020-07-13. Published on 2018-05-01 Copied from ubuntu bionic in Primary Archive for Ubuntu
	2017-11-05 02:23:46 UTC	Published	Bionic	release	universe	math	20170706-0ubuntu4
Created on 2017-11-05 by Ubuntu Archive Auto-Sync Published on 2017-11-05
		Deleted	Bionic	proposed	universe	math	20170706-0ubuntu4
Removal requested on 2017-11-05. Deleted on 2017-11-05 by Ubuntu Archive Robot moved to release Published on 2017-10-27