It's time for another game of "my package just grew some new dependencies."  I need reviews for the following and am willing to do reviews in exchange:

1. catch2: a C++ header-only test framework for unit tests
   https://bugzilla.redhat.com/show_bug.cgi?id=1718597

2. cli11: a header-only command line parser for C++11
   https://bugzilla.redhat.com/show_bug.cgi?id=1718598

3. drat-trim: a proof checker for DIMACS proofs
   https://bugzilla.redhat.com/show_bug.cgi?id=1718599

4. drat2er: a proof transformer for propositional logic, depends on 1-3
   https://bugzilla.redhat.com/show_bug.cgi?id=1718600

5. flamegraph: a stack trace visualizer and a set of stack collapsing scripts
   https://bugzilla.redhat.com/show_bug.cgi?id=1718601

6. gap-pkg-singular: a GAP interface to Singular
   https://bugzilla.redhat.com/show_bug.cgi?id=1718602

Thank you!
--