Index of /sites/rsync.macports.org/release/ports/math/yices/files/
Name Last modified Size
Parent Directory - 0001-Makefile-add-PPC-support.patch 2022-12-28 08:14 1.3K 0002-Rosetta-hack.patch 2022-12-28 08:14 1.6K
Name Last modified Size
Parent Directory - 0001-Makefile-add-PPC-support.patch 2022-12-28 08:14 1.3K 0002-Rosetta-hack.patch 2022-12-28 08:14 1.6K