../ opensmt-2.5.2-cmake_minimum.patch 05-May-2025 23:41 300 opensmt-2.5.2-gcc-14.patch 07-Nov-2023 22:10 2151 opensmt-2.7.0-cmake_minimum.patch 07-Jun-2025 00:41 508