diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2023-01-11 18:47:15 +0300 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2023-01-11 18:58:34 +0300 |
| commit | 77d68471aded6907dbbcb5ef50d557e4c69db656 (patch) | |
| tree | 275194ec5b01e07c687d76180f0e180c8e7c3358 /math/mathlibtools | |
| parent | editors/focuswriter: Update to 1.8.4 (diff) | |
*/*: rename CHEESESHOP to PYPI in MASTER_SITES
PR: 267994
Differential revision: D37518
Approved by: bapt
Diffstat (limited to 'math/mathlibtools')
| -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 |