Juergen Daubert dd199e1460 php: update to 7.2.9		2018-08-17 12:22:01 +02:00
..
.footprint	php: update to 7.2.4	2018-03-30 12:49:11 +02:00
.md5sum	php: update to 7.2.9	2018-08-17 12:22:01 +02:00
.signature	php: update to 7.2.9	2018-08-17 12:22:01 +02:00
Pkgfile	php: update to 7.2.9	2018-08-17 12:22:01 +02:00