The build failure has been fixed upstream but it hasn't been released yet: https://github.com/jmock-developers/jmock-library/commit/6758febcbd09caf7db90df473fe84f5f41eb6037
You could probably try to upgrade the package to this revision. Emmanuel Bourg -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
