diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2023-01-11 15:47:15 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2023-01-11 15:58:34 +0000 |
| commit | 77d68471aded6907dbbcb5ef50d557e4c69db656 (patch) | |
| tree | 275194ec5b01e07c687d76180f0e180c8e7c3358 /math/mathlibtools/Makefile | |
| parent | e0d030a4faa7513ee0a1d1bb2bc6b2db1746eb8c (diff) | |
Diffstat (limited to 'math/mathlibtools/Makefile')
| -rw-r--r-- | math/mathlibtools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/mathlibtools/Makefile b/math/mathlibtools/Makefile index ffd38312ae22..6f70b2738d28 100644 --- a/math/mathlibtools/Makefile +++ b/math/mathlibtools/Makefile @@ -1,7 +1,7 @@ PORTNAME= mathlibtools DISTVERSION= 1.2.0 CATEGORIES= math python -MASTER_SITES= CHEESESHOP +MASTER_SITES= PYPI MAINTAINER= yuri@FreeBSD.org COMMENT= Lean prover mathlib supporting tools |