Hi, I did a mistake in the first Ben file, here's the correct one:
title = "php 5.5"; is_affected = .build-depends ~ "php5-dev"; is_good = .depends ~ "phpapi-20121212"; is_bad = .depends ~ "phpapi-20100525"; notes = "#706830"; Sorry, -- Ondřej Surý <ond...@sury.org> -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org