/cmake/deps-utils/
../
CoCoA-patch-0.99712.patch
CryptoMiniSat-patch-ba6f76e3.patch
SymFPU-patch-20201114.patch