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

../
0001-Makefile-add-PPC-support.patch                                                                                      28-Dec-2022 08:14    1370
0002-Rosetta-hack.patch                                                                                                  28-Dec-2022 08:14    1678