|
distinfo
|
math/lean: Update 3.49.0 -> 3.49.1
|
2022-11-19 16:10:48 -08:00 |
|
Makefile
|
math/lean: Update 3.49.0 -> 3.49.1
|
2022-11-19 16:10:48 -08:00 |
|
pkg-descr
|
Remove WWW entries moved into port Makefiles
|
2022-09-07 23:58:51 +02:00 |
|
pkg-message
|
math/lean: Add to pkg-message
|
2022-09-06 09:06:07 -07:00 |
|
pkg-plist
|
math/lean: Fix performance problem
|
2022-09-05 10:40:17 -07:00 |
