Ubuntu

agda-bin binary package in Ubuntu Zesty s390x

Zesty (17.04)
s390x
agda-bin

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2018-06-22 04:55:56 UTC	Obsolete	Ubuntu Zesty s390x	release	universe	haskell	Optional	2.5.1.1-3build3
Removed from disk on 2018-06-22. Removal requested on 2018-06-22. Published on 2017-01-31 Copied from ubuntu zesty-proposed s390x in Primary Archive for Ubuntu
	2018-06-22 12:10:09 UTC	Deleted	Ubuntu Zesty s390x	proposed	universe	haskell	Optional	2.5.1.1-3build3
Removed from disk on 2018-06-22. Removal requested on 2017-01-31. Deleted on 2017-01-31 by Ubuntu Archive Robot moved to release Published on 2017-01-27
	2017-01-31 11:34:30 UTC	Superseded	Ubuntu Zesty s390x	release	universe	haskell	Optional	2.5.1.1-3
Removed from disk on 2017-02-01. Removal requested on 2017-02-01. Superseded on 2017-01-31 by s390x build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED Published on 2016-11-15 Copied from ubuntu zesty-proposed s390x in Primary Archive for Ubuntu
	2017-02-01 12:10:11 UTC	Deleted	Ubuntu Zesty s390x	proposed	universe	haskell	Optional	2.5.1.1-3
Removed from disk on 2017-02-01. Removal requested on 2016-11-15. Deleted on 2016-11-15 by Ubuntu Archive Robot moved to release Published on 2016-11-13
	2016-11-15 18:10:11 UTC	Deleted	Ubuntu Zesty s390x	release	universe	haskell	Optional	2.5.1-2build3
Removed from disk on 2016-11-15. Removal requested on 2016-11-15. Deleted on 2016-11-15 by Martin Pitt demoting to -proposed to unblock ghc8 transition Published on 2016-10-26 Copied from ubuntu zesty-proposed s390x in Primary Archive for Ubuntu
	2016-11-15 18:10:11 UTC	Deleted	Ubuntu Zesty s390x	proposed	universe	haskell	Optional	2.5.1-2build3
Removed from disk on 2016-11-15. Removal requested on 2016-10-26. Deleted on 2016-10-26 by Ubuntu Archive Robot moved to release Published on 2016-10-22
	2016-10-26 01:39:33 UTC	Superseded	Ubuntu Zesty s390x	release	universe	haskell	Optional	2.5.1-2build2
Removed from disk on 2018-01-23. Removal requested on 2016-10-27. Superseded on 2016-10-26 by s390x build of agda 2.5.1-2build3 in ubuntu zesty PROPOSED Published on 2016-10-18 Copied from ubuntu yakkety-proposed s390x in Primary Archive for Ubuntu