Index of /cvsroot/pkgsrc/math/yices2/patches/

../
patch-Makefile.build,v                             20-Sep-2025 13:26                4156
patch-autoconf_os,v                                20-Sep-2025 13:26                2832
patch-configure.ac,v                               20-Sep-2025 13:26                7067
patch-src_Makefile,v                               20-Sep-2025 13:26                3538
patch-src_utils_bit__tricks.h,v                    20-Sep-2025 13:26                4134