../ opensmt-2.5.2-cmake_minimum.patch 05-May-2025 16:41 300 opensmt-2.5.2-gcc-14.patch 07-Nov-2023 15:10 2151 opensmt-2.7.0-cmake_minimum.patch 06-Jun-2025 17:41 508