Ubuntu

agda-stdlib-doc binary package in Ubuntu Artful amd64

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-07-10 15:03:46 UTC	Obsolete	Ubuntu Artful amd64	release	universe	doc	Extra	0.13-1
Removed from disk on 2020-07-10. Removal requested on 2020-07-10. Published on 2017-07-10 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2020-07-10 18:10:10 UTC	Deleted	Ubuntu Artful amd64	proposed	universe	doc	Extra	0.13-1
Removed from disk on 2020-07-10. Removal requested on 2017-07-10. Deleted on 2017-07-10 by Ubuntu Archive Robot moved to release Published on 2017-07-10
	2017-07-10 12:58:20 UTC	Superseded	Ubuntu Artful amd64	release	universe	doc	Extra	0.12-2build3
Removed from disk on 2017-07-11. Removal requested on 2017-07-11. Superseded on 2017-07-10 by amd64 build of agda-stdlib 0.13-1 in ubuntu artful PROPOSED Published on 2017-06-21 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-07-11 18:10:09 UTC	Deleted	Ubuntu Artful amd64	proposed	universe	doc	Extra	0.12-2build3
Removed from disk on 2017-07-11. Removal requested on 2017-06-21. Deleted on 2017-06-21 by Ubuntu Archive Robot moved to release Published on 2017-06-21
	2017-06-21 18:54:01 UTC	Superseded	Ubuntu Artful amd64	release	universe	doc	Extra	0.12-2build2
Removed from disk on 2018-06-22. Removal requested on 2017-06-22. Superseded on 2017-06-21 by amd64 build of agda-stdlib 0.12-2build3 in ubuntu artful PROPOSED Published on 2017-04-20 Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu