Ubuntu

libwhy-coq binary package in Ubuntu Karmic i386

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2013-03-04 05:16:42 UTC	Obsolete	Ubuntu Karmic i386	release	universe	libdevel	Optional	2.18.dfsg-5
Removed from disk on 2013-03-04. Removal requested on 2013-03-04. Published on 2009-08-18
	2009-08-18 11:04:42 UTC	Superseded	Ubuntu Karmic i386	release	universe	libdevel	Optional	2.18.dfsg-4
Removed from disk on 2009-08-19. Removal requested on 2009-08-19. Superseded on 2009-08-18 by i386 build of why 2.18.dfsg-5 in ubuntu karmic RELEASE Published on 2009-06-08