Stefan Eßer
fb16dfecae
Commit b7f05445c0 has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
4 lines
113 B
Plaintext
4 lines
113 B
Plaintext
mathlibtools contains leanproject, a supporting tool for Lean mathlib.
|
|
|
|
Lean is installed by the port math/lean.
|