../ opensmt-2.5.2-cmake_minimum.patch 27-Sep-2025 13:26 300 opensmt-2.5.2-gcc-14.patch 27-Sep-2025 13:26 2151 opensmt-2.7.0-cmake_minimum.patch 27-Sep-2025 13:26 508