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

../
patch-Makefile.build,v                             20-Dec-2025 21:49                4212
patch-autoconf_os,v                                20-Dec-2025 21:49                2888
patch-configure.ac,v                               20-Dec-2025 21:49                7123
patch-src_Makefile,v                               20-Dec-2025 21:49                3594
patch-src_utils_bit__tricks.h,v                    20-Dec-2025 21:49                4190