freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
58df67cee573cda430507ec9a02b46793bf4e4bb
ports/math/lean
T
History
Yuri Victorovich 467f9760bf math/lean: Update 3.45.0 -> 3.46.0 
Reported by:	portscout
2022-08-09 15:57:59 -07:00
..
distinfo
math/lean: Update 3.45.0 -> 3.46.0
2022-08-09 15:57:59 -07:00
Makefile
math/lean: Update 3.45.0 -> 3.46.0
2022-08-09 15:57:59 -07:00
pkg-descr
…
pkg-message
…
pkg-plist
…