/sci-mathematics/opensmt/files/

• ../
• opensmt-2.5.2-gcc-14.patch