New Upstream Release - boogie

Building the package failed after changes were made to it.

Merged new upstream version: 2.8.32 (was: 2.4.1+dfsg).

More details

Full run details

Historical runs