Ubuntu

prover9-doc binary package in Ubuntu Saucy amd64

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2015-04-24 12:50:55 UTC	Obsolete	Ubuntu Saucy amd64	release	universe	doc	Optional	0.0.200902a-2
Removal requested on 2015-04-24. Published on 2013-05-04 Copied from ubuntu saucy-proposed i386 in Primary Archive for Ubuntu
		Deleted	Ubuntu Saucy amd64	proposed	universe	doc	Optional	0.0.200902a-2
Removal requested on 2013-05-04. Deleted on 2013-05-04 by Ubuntu Archive Robot moved to release Published on 2013-05-04 Copied from ubuntu saucy-proposed i386 in Primary Archive for Ubuntu
	2013-05-04 12:03:22 UTC	Superseded	Ubuntu Saucy amd64	release	universe	doc	Optional	0.0.200902a-1
Removal requested on 2013-05-05. Superseded on 2013-05-04 by i386 build of prover9-manual 0.0.200902a-2 in ubuntu saucy PROPOSED Published on 2013-04-25 Copied from ubuntu karmic-release i386 in Primary Archive for Ubuntu