Directory: /macports/trunk/dports/math/yices/files/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
0002-Rosetta-hack.patch	1.6 KiB	2022-Dec-28 16:14
0001-Makefile-add-PPC-support.patch	1.3 KiB	2022-Dec-28 16:14