/math/yices2/patches/
../
patch-Makefile.build
patch-autoconf_os
patch-configure.ac
patch-src_Makefile
patch-src_utils_bit__tricks.h