Ubuntu
pkg-php-tools package

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

	Date	Status	Target	Pocket	Component	Section	Version
	2018-02-08 02:38:16 UTC	Superseded	Bionic	release	main	php	1.35
Removed from disk on 2020-07-10. Removal requested on 2018-02-09. Superseded on 2018-02-08 by pkg-php-tools - 1.35ubuntu1 Published on 2017-10-24 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2020-07-10 15:03:46 UTC	Obsolete	Artful	release	main	php	1.35
Removed from disk on 2020-07-10. Removal requested on 2020-07-10. Published on 2017-04-20 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2018-06-22 04:55:56 UTC	Obsolete	Zesty	release	main	php	1.35
Removed from disk on 2020-07-10. Removal requested on 2018-06-22. Published on 2016-12-27 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
	2020-07-10 18:10:10 UTC	Deleted	Zesty	proposed	main	php	1.35
Removed from disk on 2020-07-10. Removal requested on 2016-12-27. Deleted on 2016-12-27 by Ubuntu Archive Robot moved to release Published on 2016-12-27 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)