git: 7cdde61e154c - main - math/abella: Update WWW

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Tue, 14 Jan 2025 06:11:26 UTC

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=7cdde61e154c2ebcf96e7cbb3aa0b8ac2996c918

commit 7cdde61e154c2ebcf96e7cbb3aa0b8ac2996c918
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-01-14 03:36:30 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-01-14 06:11:19 +0000

    math/abella: Update WWW
---
 math/abella/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/math/abella/Makefile b/math/abella/Makefile
index d59f199681dc..564e4860e4e1 100644
--- a/math/abella/Makefile
+++ b/math/abella/Makefile
@@ -6,7 +6,8 @@ MASTER_SITES=	http://abella-prover.org/distributions/
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Interactive theorem prover
-WWW=		https://abella-prover.org/
+WWW=		https://abella-prover.org/ \
+		https://github.com/abella-prover/abella
 
 LICENSE=	GPLv3
 LICENSE_FILE=	${WRKSRC}/LICENSE