diff options
| author | alnsn <alnsn@pkgsrc.org> | 2020-07-13 19:45:45 +0000 |
|---|---|---|
| committer | alnsn <alnsn@pkgsrc.org> | 2020-07-13 19:45:45 +0000 |
| commit | bf0982af181890202696e1a2eec7e34040925676 (patch) | |
| tree | 6ce2da1e17b109711c875fab642d25904764d07a /math/yices2 | |
| parent | 523cbc313253c04c0a31b1bb0662ce6a3689a693 (diff) | |
| download | pkgsrc-bf0982af181890202696e1a2eec7e34040925676.tar.gz | |
Reset maintainership for all (no longer) mine packages
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 |