Hi all,https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=729899 was reported almost four years ago for version 1.0+m10git1e2f1d16-1 If this bug is still valid for the latest stable version of catch, please report it at https://github.com/philsquared/Catch and close the report here at Debian.
Best, Pander
