diff options
author | Stefan Eßer <se@FreeBSD.org> | 2022-09-07 21:30:14 +0000 |
---|---|---|
committer | Stefan Eßer <se@FreeBSD.org> | 2022-09-07 21:58:51 +0000 |
commit | fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 (patch) | |
tree | 4bfc4b617ac23047eb736c72fb80d2b4f9069605 /math/mathlibtools | |
parent | c53ddded1db88147493efaad6a9aa436d9b71fae (diff) | |
download | ports-fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4.tar.gz ports-fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4.zip |
Diffstat (limited to 'math/mathlibtools')
-rw-r--r-- | math/mathlibtools/pkg-descr | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/mathlibtools/pkg-descr b/math/mathlibtools/pkg-descr index f01ea900eab4..019f11aadee8 100644 --- a/math/mathlibtools/pkg-descr +++ b/math/mathlibtools/pkg-descr @@ -1,5 +1,3 @@ mathlibtools contains leanproject, a supporting tool for Lean mathlib. Lean is installed by the port math/lean. - -WWW: https://github.com/leanprover-community/mathlib-tools |