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

../
patch-Makefile.build,v                             30-Jun-2025 09:04                4100
patch-autoconf_os,v                                30-Jun-2025 09:04                2776
patch-configure.ac,v                               30-Jun-2025 09:04                7011
patch-src_Makefile,v                               30-Jun-2025 09:04                3482
patch-src_utils_bit__tricks.h,v                    30-Jun-2025 09:04                4078