freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
pristine
ports/math/lean4
T
History
Yuri Victorovich 6aff6caba2 math/lean4: update 4.31.0 → 4.32.0
2026-07-14 15:13:26 -07:00
..
files
math/lean4: Remove patch to fix build
2026-07-06 08:05:17 -07:00
distinfo
math/lean4: update 4.31.0 → 4.32.0
2026-07-14 15:13:26 -07:00
Makefile
math/lean4: update 4.31.0 → 4.32.0
2026-07-14 15:13:26 -07:00
pkg-descr
…
pkg-plist
math/lean4: update 4.31.0 → 4.32.0
2026-07-14 15:13:26 -07:00