/macports/release/ports/math/lean/files/
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| patch-lean-util-memory-older-MACH-defines.diff | 485 B | 2021-Aug-17 19:29 |
/macports/release/ports/math/lean/files/
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| patch-lean-util-memory-older-MACH-defines.diff | 485 B | 2021-Aug-17 19:29 |