Package: php4
Pin: release a=stable
Priority: 1001

