freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
f5896e872394de390ae2f124edb9be58b75efb72
ports/math/lean4
T
History
Yuri Victorovich 4c7811ea78 math/lean4: update 4.7.0 → 4.8.0 
Reported by:	portscout
2024-06-07 10:01:24 -07:00
..
files
…
distinfo
math/lean4: update 4.7.0 → 4.8.0
2024-06-07 10:01:24 -07:00
Makefile
math/lean4: update 4.7.0 → 4.8.0
2024-06-07 10:01:24 -07:00
pkg-descr
…
pkg-message
…
pkg-plist
math/lean4: update 4.7.0 → 4.8.0
2024-06-07 10:01:24 -07:00