Ubuntu

libghc-agda-doc binary package in Ubuntu Yakkety arm64

Yakkety (16.10)
arm64
libghc-agda-doc

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2018-01-23 00:52:03 UTC	Obsolete	Ubuntu Yakkety arm64	release	universe	doc	Extra	2.5.1-2build2
Removed from disk on 2018-01-23. Removal requested on 2018-01-23. Published on 2016-08-22 Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu
	2018-01-23 06:10:09 UTC	Deleted	Ubuntu Yakkety arm64	proposed	universe	doc	Extra	2.5.1-2build2
Removed from disk on 2018-01-23. Removal requested on 2016-08-22. Deleted on 2016-08-22 by Ubuntu Archive Robot moved to release Published on 2016-08-09 Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu
	2016-08-09 15:37:17 UTC	Superseded	Ubuntu Yakkety arm64	proposed	universe	doc	Extra	2.5.1-2build1
Removed from disk on 2016-08-10. Removal requested on 2016-08-10. Superseded on 2016-08-09 by amd64 build of agda 2.5.1-2build2 in ubuntu yakkety PROPOSED Published on 2016-07-15 Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu
	2016-08-22 21:05:55 UTC	Superseded	Ubuntu Yakkety arm64	release	universe	doc	Extra	2.5.1-2
Removed from disk on 2016-08-24. Removal requested on 2016-08-23. Superseded on 2016-08-22 by amd64 build of agda 2.5.1-2build2 in ubuntu yakkety PROPOSED Published on 2016-07-03 Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu
	2016-08-24 00:10:10 UTC	Deleted	Ubuntu Yakkety arm64	proposed	universe	doc	Extra	2.5.1-2
Removed from disk on 2016-08-24. Removal requested on 2016-07-03. Deleted on 2016-07-03 by Ubuntu Archive Robot moved to release Published on 2016-06-21 Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu
	2016-06-21 01:40:44 UTC	Superseded	Ubuntu Yakkety arm64	proposed	universe	doc	Extra	2.5.1-1
Removed from disk on 2016-06-22. Removal requested on 2016-06-22. Superseded on 2016-06-21 by amd64 build of agda 2.5.1-2 in ubuntu yakkety PROPOSED Published on 2016-06-17 Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu
	2016-07-03 10:10:32 UTC	Superseded	Ubuntu Yakkety arm64	release	universe	doc	Extra	2.4.2.5-1build1
Removal requested on 2016-07-04. Superseded on 2016-07-03 by amd64 build of agda 2.5.1-2 in ubuntu yakkety PROPOSED Published on 2016-04-22 Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu