../ opensmt-2.5.2-cmake_minimum.patch 05-May-2025 21:56 300 opensmt-2.5.2-gcc-14.patch 07-Nov-2023 19:19 2151 opensmt-2.7.0-cmake_minimum.patch 06-Jun-2025 22:14 508