%FILES%
usr/
usr/include/
usr/include/libsemigroups/
usr/include/libsemigroups/blocks.h
usr/include/libsemigroups/cong.h
usr/include/libsemigroups/elements.h
usr/include/libsemigroups/libsemigroups-config.h
usr/include/libsemigroups/libsemigroups-debug.h
usr/include/libsemigroups/partition.h
usr/include/libsemigroups/recvec.h
usr/include/libsemigroups/report.h
usr/include/libsemigroups/rws.h
usr/include/libsemigroups/rwse.h
usr/include/libsemigroups/semigroups.h
usr/include/libsemigroups/semiring.h
usr/include/libsemigroups/timer.h
usr/include/libsemigroups/uf.h
usr/lib/
usr/lib/libsemigroups.so
usr/lib/libsemigroups.so.0
usr/lib/libsemigroups.so.0.0.0
usr/lib/pkgconfig/
usr/lib/pkgconfig/libsemigroups.pc
