diff options
author | johans <johans@FreeBSD.org> | 2016-12-15 05:48:10 +0800 |
---|---|---|
committer | johans <johans@FreeBSD.org> | 2016-12-15 05:48:10 +0800 |
commit | 84057ee454c074e66b43679240cb2358756c4481 (patch) | |
tree | 97a408059d1d4b5207fdbfb759af34b436fbdb13 /math | |
parent | a78ec4083e8632100dc512cd204ecfc4ab516024 (diff) | |
download | freebsd-ports-gnome-84057ee454c074e66b43679240cb2358756c4481.tar.gz freebsd-ports-gnome-84057ee454c074e66b43679240cb2358756c4481.tar.zst freebsd-ports-gnome-84057ee454c074e66b43679240cb2358756c4481.zip |
Stepping down as maintainer for some ports.
Diffstat (limited to 'math')
-rw-r--r-- | math/coq/Makefile | 2 | ||||
-rw-r--r-- | math/gap/Makefile | 2 | ||||
-rw-r--r-- | math/ocaml-ocamlgraph/Makefile | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 2fe2b2efcf38..a647042f0988 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -9,7 +9,7 @@ MASTER_SITES= http://coq.inria.fr/distrib/V${COQVERSION}/files/ \ ftp://ftp.stack.nl/pub/users/johans/coq/ DISTNAME= ${PORTNAME}-${COQVERSION} -MAINTAINER= johans@FreeBSD.org +MAINTAINER= ports@FreeBSD.org COMMENT= Theorem prover based on lambda-C LICENSE= LGPL21 diff --git a/math/gap/Makefile b/math/gap/Makefile index f1f29fbd320c..0a7d8f031036 100644 --- a/math/gap/Makefile +++ b/math/gap/Makefile @@ -9,7 +9,7 @@ MASTER_SITES= ftp://ftp.gap-system.org/pub/gap/gap48/tar.bz2/ \ ftp://ftp.gap-system.org/pub/gap/gap48/old/ DISTNAME= ${GAP_VERSION}p${PORTVERSION:R:E}_${GAP_DISTTIME} -MAINTAINER= johans@FreeBSD.org +MAINTAINER= ports@FreeBSD.org COMMENT= GAP is a system for computational discrete algebra LIB_DEPENDS= libgmp.so:math/gmp diff --git a/math/ocaml-ocamlgraph/Makefile b/math/ocaml-ocamlgraph/Makefile index 2ae4986c564f..77818ddbd237 100644 --- a/math/ocaml-ocamlgraph/Makefile +++ b/math/ocaml-ocamlgraph/Makefile @@ -8,7 +8,7 @@ MASTER_SITES= http://ocamlgraph.lri.fr/download/ \ ftp://ftp.stack.nl/pub/users/johans/ocamlgraph/ PKGNAMEPREFIX= ocaml- -MAINTAINER= johans@FreeBSD.org +MAINTAINER= ports@FreeBSD.org COMMENT= Graph manipulation library for OCaml OPTIONS_DEFINE= GUI DOCS |