Ubuntu

agda-mode binary package in Ubuntu Cosmic ppc64el

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-07-13 02:35:12 UTC	Obsolete	Ubuntu Cosmic ppc64el	release	universe	misc	Optional	2.5.3-5build3
Removed from disk on 2020-07-13. Removal requested on 2020-07-13. Published on 2018-07-06 Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
	2020-07-13 06:10:10 UTC	Deleted	Ubuntu Cosmic ppc64el	proposed	universe	misc	Optional	2.5.3-5build3
Removed from disk on 2020-07-13. Removal requested on 2018-07-06. Deleted on 2018-07-06 by Ubuntu Archive Robot moved to release Published on 2018-07-05 Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
	2018-07-05 12:03:16 UTC	Superseded	Ubuntu Cosmic ppc64el	proposed	universe	misc	Optional	2.5.3-5build2
Removed from disk on 2018-07-06. Removal requested on 2018-07-06. Superseded on 2018-07-05 by amd64 build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED Published on 2018-07-04 Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
	2018-07-04 21:23:23 UTC	Superseded	Ubuntu Cosmic ppc64el	proposed	universe	misc	Optional	2.5.3-5build1
Removed from disk on 2018-07-06. Removal requested on 2018-07-05. Superseded on 2018-07-04 by amd64 build of agda 2.5.3-5build2 in ubuntu cosmic PROPOSED Published on 2018-07-04 Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
	2018-07-06 07:49:43 UTC	Superseded	Ubuntu Cosmic ppc64el	release	universe	misc	Optional	2.5.3-5
Removed from disk on 2018-07-07. Removal requested on 2018-07-07. Superseded on 2018-07-06 by amd64 build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED Published on 2018-06-27 Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
	2018-07-07 12:10:12 UTC	Deleted	Ubuntu Cosmic ppc64el	proposed	universe	misc	Optional	2.5.3-5
Removed from disk on 2018-07-07. Removal requested on 2018-06-27. Deleted on 2018-06-27 by Ubuntu Archive Robot moved to release Published on 2018-05-20 Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
	2018-06-27 20:15:44 UTC	Superseded	Ubuntu Cosmic ppc64el	release	universe	misc	Optional	2.5.3-3build1
Removal requested on 2018-06-28. Superseded on 2018-06-27 by amd64 build of agda 2.5.3-5 in ubuntu cosmic PROPOSED Published on 2018-05-01 Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu