diff options
Diffstat (limited to 'math/yices2')
| -rw-r--r-- | math/yices2/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/yices2/Makefile b/math/yices2/Makefile index df0e3a163f4..1a112595582 100644 --- a/math/yices2/Makefile +++ b/math/yices2/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.3 2019/11/02 16:16:22 rillig Exp $ +# $NetBSD: Makefile,v 1.4 2020/07/13 19:45:45 alnsn Exp $ PKGNAME= yices2-2.6.1 DISTNAME= Yices-${PKGVERSION} @@ -6,7 +6,7 @@ GITHUB_TAG= ${DISTNAME} CATEGORIES= math MASTER_SITES= ${MASTER_SITE_GITHUB:=SRI-CSL/} -MAINTAINER= alnsn@NetBSD.org +MAINTAINER= pkgsrc-users@NetBSD.org HOMEPAGE= https://yices.csl.sri.com/ COMMENT= Yices 2 SMT solver LICENSE= gnu-gpl-v3 |