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

NameLast modifiedSize
Parent Directory19-Jan-2021 14:431kB
CVS/25-Aug-2019 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