Vladimír Čunát dc215c2988 php{53,54}: fetch from generic URL ... I see no reason to download from a pre-specified mirror. It didn't even work for me.		2014-06-22 15:02:41 +02:00
..
5.3.nix	php{53,54}: fetch from generic URL	2014-06-22 15:02:41 +02:00
5.4.nix	php{53,54}: fetch from generic URL	2014-06-22 15:02:41 +02:00
fix-5.4.patch
fix.patch