macports/macports-ports
0
0
Fork 0
mirror of https://github.com/macports/macports-ports.git synced 2026-07-12 18:20:25 -07:00
Code Issues Packages Projects Releases Wiki Activity
Files
254bd09808da170e44288af0bdb3ad8e82dc512a
macports-ports/math/lean
T
History
Sergey Fedorov 25ba14f9ca lean: update to 3.51.1
2024-09-05 18:03:14 -04:00
..
files
…
Portfile
…