freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
31952cfecfaca0d83b112ccaa5d9df236d2e3d11
ports/math/lean4
T
History
Yuri Victorovich d3029e4e32 math/lean4: update 4.5.0 → 4.6.0 
Reported by:	portscout
2024-02-26 16:31:16 -08:00
..
files
…
distinfo
math/lean4: update 4.5.0 → 4.6.0
2024-02-26 16:31:16 -08:00
Makefile
math/lean4: update 4.5.0 → 4.6.0
2024-02-26 16:31:16 -08:00
pkg-descr
…
pkg-message
…
pkg-plist
math/lean4: update 4.5.0 → 4.6.0
2024-02-26 16:31:16 -08:00