Ubuntu

elpa-agda2-mode binary package in Ubuntu Yakkety amd64

Yakkety (16.10)
amd64
elpa-agda2-mode

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2018-01-23 00:52:03 UTC	Obsolete	Ubuntu Yakkety amd64	release	universe	editors	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 amd64	proposed	universe	editors	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
	2016-08-09 15:37:17 UTC	Superseded	Ubuntu Yakkety amd64	proposed	universe	editors	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
	2016-08-22 21:05:55 UTC	Superseded	Ubuntu Yakkety amd64	release	universe	editors	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 amd64	proposed	universe	editors	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
	2016-06-21 01:40:44 UTC	Superseded	Ubuntu Yakkety amd64	proposed	universe	editors	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