[Bug 714063] obs keeps trying to rebuild server:php:applications/horde4-ingo in an outdated version