Index of /macports/release/ports/math/yices/files/

File NameFile SizeDate
Parent directory/--
0001-Makefile-add-PPC-support.patch 137028-Dec-2022 08:14
0002-Rosetta-hack.patch 167828-Dec-2022 08:14