/macports/release/ports/math/yices/files/
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| 0002-Rosetta-hack.patch | 1.6 KiB | 2022-Dec-28 08:14 |
/macports/release/ports/math/yices/files/
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| 0002-Rosetta-hack.patch | 1.6 KiB | 2022-Dec-28 08:14 |