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

../
patch-Makefile.build,v                             28-Feb-2026 11:28                5534
patch-autoconf_os,v                                28-Feb-2026 11:28                4207
patch-configure.ac,v                               28-Feb-2026 11:28                8443
patch-src_Makefile,v                               28-Feb-2026 11:28                4914
patch-src_utils_bit__tricks.h,v                    28-Feb-2026 11:28                5521