Ubuntu

agda-mode binary package in Ubuntu Artful amd64

Artful (17.10)
amd64
agda-mode

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-07-10 15:03:46 UTC	Obsolete	Ubuntu Artful amd64	release	universe	misc	Optional	2.5.2-2build1
Removed from disk on 2020-07-10. Removal requested on 2020-07-10. Published on 2017-07-22 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2020-07-10 18:10:10 UTC	Deleted	Ubuntu Artful amd64	proposed	universe	misc	Optional	2.5.2-2build1
Removed from disk on 2020-07-10. Removal requested on 2017-07-22. Deleted on 2017-07-22 by Ubuntu Archive Robot moved to release Published on 2017-07-15
	2017-07-15 14:25:26 UTC	Superseded	Ubuntu Artful amd64	proposed	universe	misc	Optional	2.5.2-2
Removed from disk on 2017-07-16. Removal requested on 2017-07-16. Superseded on 2017-07-15 by amd64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED Published on 2017-07-10
	2017-07-11 02:18:29 UTC	Superseded	Ubuntu Artful amd64	proposed	universe	misc	Optional	2.5.2-2~build1
Removed from disk on 2017-07-12. Removal requested on 2017-07-12. Superseded on 2017-07-11 by amd64 build of agda 2.5.2-2 in ubuntu artful PROPOSED Published on 2017-07-10
	2017-07-22 12:00:07 UTC	Superseded	Ubuntu Artful amd64	release	universe	misc	Optional	2.5.1.1-4build1
Removed from disk on 2017-07-23. Removal requested on 2017-07-23. Superseded on 2017-07-22 by amd64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED Published on 2017-06-24 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-07-23 12:10:09 UTC	Deleted	Ubuntu Artful amd64	proposed	universe	misc	Optional	2.5.1.1-4build1
Removed from disk on 2017-07-23. Removal requested on 2017-06-24. Deleted on 2017-06-24 by Ubuntu Archive Robot moved to release Published on 2017-06-21
	2017-06-21 17:26:38 UTC	Superseded	Ubuntu Artful amd64	proposed	universe	misc	Optional	2.5.1.1-4
Removed from disk on 2017-06-22. Removal requested on 2017-06-22. Superseded on 2017-06-21 by amd64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED Published on 2017-06-21
	2017-06-24 21:33:29 UTC	Superseded	Ubuntu Artful amd64	release	universe	misc	Optional	2.5.1.1-3build3
Removed from disk on 2018-06-22. Removal requested on 2017-06-25. Superseded on 2017-06-24 by amd64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED Published on 2017-04-20 Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu