This website requires JavaScript.
Explore
Help
Sign In
freebsd
/
ports
Watch
1
Star
0
Fork
0
You've already forked ports
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
fa0639621b4759cdeb7fbef8f73680905ab99bd9
ports
/
math
/
lean
History
Yuri Victorovich
a352809df0
math/lean: Update 3.18.3 -> 3.18.4
...
Reported by: portscout
2020-08-03 03:21:10 +00:00
..
files
math/lean: Update 3.4.2 -> 3.17.1
2020-07-21 22:40:25 +00:00
distinfo
math/lean: Update 3.18.3 -> 3.18.4
2020-08-03 03:21:10 +00:00
Makefile
math/lean: Update 3.18.3 -> 3.18.4
2020-08-03 03:21:10 +00:00
pkg-descr
math/lean: Update 3.4.2 -> 3.17.1
2020-07-21 22:40:25 +00:00
pkg-plist
math/lean: Update 3.4.2 -> 3.17.1
2020-07-21 22:40:25 +00:00
