debian/1%1.8.5+ds-3
b849fdd9 · Ignore vendored copy of catch.hpp; use the one from the catch2 package instead. Closes: #993511 ·