Ubuntu
agda package

Publishing history of agda package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2016-10-26 15:41:11 UTC	Obsolete	Lucid	release	universe	haskell	2.2.6-3
Removed from disk on 2016-10-31. Removal requested on 2016-10-26. Published on 2010-03-04
	2010-03-04 15:06:28 UTC	Superseded	Lucid	release	universe	haskell	2.2.6-2ubuntu1
Removed from disk on 2010-04-19. Removal requested on 2010-04-19. Superseded on 2010-03-04 by agda - 2.2.6-3 Published on 2010-02-08
	2010-02-08 00:04:58 UTC	Superseded	Lucid	release	universe	haskell	2.2.6-2
Removed from disk on 2010-02-09. Removal requested on 2010-02-09. Superseded on 2010-02-08 by agda - 2.2.6-2ubuntu1 Published on 2010-02-02
	2010-02-02 22:05:11 UTC	Superseded	Lucid	release	universe	haskell	2.2.4+dfsg-1
Removed from disk on 2013-03-04. Removal requested on 2010-02-08. Superseded on 2010-02-02 by agda - 2.2.6-2 Published on 2009-10-29 Copied from ubuntu karmic in Primary Archive for Ubuntu
	2013-03-04 05:16:42 UTC	Obsolete	Karmic	release	universe	haskell	2.2.4+dfsg-1
Removed from disk on 2013-03-04. Removal requested on 2013-03-04. Published on 2009-08-24