Files
gentoo/sci-libs/libsemigroups/files/libsemigroups-3.5.5-unbundle-catch.patch