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