Ubuntu

libghc-agda-dev binary package in Ubuntu Oneiric i386

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2015-04-24 09:57:35 UTC	Obsolete	Ubuntu Oneiric i386	release	universe	haskell	Extra	2.2.10-3build1
Removed from disk on 2015-04-26. Removal requested on 2015-04-24. Published on 2011-07-09
	2011-07-09 22:06:53 UTC	Superseded	Ubuntu Oneiric i386	release	universe	haskell	Extra	2.2.10-3
Removed from disk on 2011-07-10. Removal requested on 2011-07-10. Superseded on 2011-07-09 by i386 build of agda 2.2.10-3build1 in ubuntu oneiric RELEASE Published on 2011-06-18
	2011-06-18 00:05:44 UTC	Superseded	Ubuntu Oneiric i386	release	universe	haskell	Extra	2.2.10-2build1
Removed from disk on 2011-06-19. Removal requested on 2011-06-19. Superseded on 2011-06-18 by i386 build of agda 2.2.10-3 in ubuntu oneiric RELEASE Published on 2011-06-09
	2011-06-09 09:05:34 UTC	Superseded	Ubuntu Oneiric i386	release	universe	haskell	Extra	2.2.10-1
Removed from disk on 2011-06-10. Removal requested on 2011-06-10. Superseded on 2011-06-09 by i386 build of agda 2.2.10-2build1 in ubuntu oneiric RELEASE Published on 2011-05-30