Ubuntu

agda-stdlib-doc binary package in Ubuntu Wily amd64

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2018-01-22 04:16:43 UTC	Obsolete	Ubuntu Wily amd64	release	universe	doc	Extra	0.9-1
Removed from disk on 2018-01-22. Removal requested on 2018-01-22. Published on 2015-06-23 Copied from ubuntu wily-proposed amd64 in Primary Archive for Ubuntu
	2018-01-22 06:10:09 UTC	Deleted	Ubuntu Wily amd64	proposed	universe	doc	Extra	0.9-1
Removed from disk on 2018-01-22. Removal requested on 2015-06-23. Deleted on 2015-06-23 by Ubuntu Archive Robot moved to release Published on 2015-06-05
	2015-06-23 11:40:04 UTC	Superseded	Ubuntu Wily amd64	release	universe	doc	Extra	0.8-2
Removed from disk on 2018-01-19. Removal requested on 2015-06-24. Superseded on 2015-06-23 by amd64 build of agda-stdlib 0.9-1 in ubuntu wily PROPOSED Published on 2015-05-04 Copied from ubuntu utopic-proposed i386 in Primary Archive for Ubuntu