Ubuntu
prover9-manual package

Publishing history of prover9-manual 0.0.200902a-1 source package in Ubuntu

0.0.200902a-1
Publishing history

	Date	Status	Target	Pocket	Component	Section	Version
	2013-05-04 12:03:22 UTC	Superseded	Saucy	release	universe	doc	0.0.200902a-1
Removal requested on 2013-05-05. Superseded on 2013-05-04 by prover9-manual - 0.0.200902a-2 Published on 2013-04-25 Copied from ubuntu karmic in Primary Archive for Ubuntu
	2015-04-24 12:12:58 UTC	Obsolete	Raring	release	universe	doc	0.0.200902a-1
Removal requested on 2015-04-24. Published on 2012-10-18 Copied from ubuntu karmic in Primary Archive for Ubuntu
	2015-04-24 11:19:49 UTC	Obsolete	Quantal	release	universe	doc	0.0.200902a-1
Removal requested on 2015-04-24. Published on 2012-04-26 Copied from ubuntu karmic in Primary Archive for Ubuntu
	2011-10-13 14:45:10 UTC	Published	Precise	release	universe	doc	0.0.200902a-1
Published on 2011-10-13 Copied from ubuntu karmic in Primary Archive for Ubuntu
	2015-04-24 09:57:35 UTC	Obsolete	Oneiric	release	universe	doc	0.0.200902a-1
Removal requested on 2015-04-24. Published on 2011-04-28 Copied from ubuntu karmic in Primary Archive for Ubuntu
	2013-06-04 02:07:47 UTC	Obsolete	Natty	release	universe	doc	0.0.200902a-1
Removal requested on 2013-06-04. Published on 2010-10-11 Copied from ubuntu karmic in Primary Archive for Ubuntu
	2013-03-05 01:38:15 UTC	Obsolete	Maverick	release	universe	doc	0.0.200902a-1
Removal requested on 2013-03-05. Published on 2010-04-30 Copied from ubuntu karmic in Primary Archive for Ubuntu
	2016-10-26 15:41:11 UTC	Obsolete	Lucid	release	universe	doc	0.0.200902a-1
Removal requested on 2016-10-26. 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	doc	0.0.200902a-1
Removal requested on 2013-03-04. Published on 2009-04-29