Index of pub/pkgsrc/current/pkgsrc/math/yices2/patches/

NameLast modifiedSize
Parent Directory28-Mar-2024 17:331kB
CVS/18-Dec-2022 01:001kB
patch-Makefile.build24-Aug-2019 22:092kB
patch-autoconf_os24-Aug-2019 22:091kB
patch-configure.ac24-Aug-2019 22:095kB
patch-src_Makefile24-Aug-2019 22:092kB
patch-src_utils_bit__tricks.h24-Aug-2019 22:092kB