Ubuntu
pkg-php-tools package

Publishing history of pkg-php-tools 1.8 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2013-10-23 09:04:56 UTC	Superseded	Trusty	release	universe	php	1.8
Removed from disk on 2015-05-01. Removal requested on 2013-10-24. Superseded on 2013-10-23 by pkg-php-tools - 1.9 Published on 2013-10-18 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2015-04-24 12:50:55 UTC	Obsolete	Saucy	release	universe	php	1.8
Removed from disk on 2015-04-28. Removal requested on 2015-04-24. Published on 2013-06-25 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
	2015-04-28 07:58:07 UTC	Deleted	Saucy	proposed	universe	php	1.8
Removed from disk on 2015-04-28. Removal requested on 2013-06-25. Deleted on 2013-06-25 by Ubuntu Archive Robot moved to release Published on 2013-06-25 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)