mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-22 20:41:26 +00:00
Reset maintainer per his request.
This commit is contained in:
parent
62702742ab
commit
7d25f14933
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=129990
@ -11,7 +11,7 @@ CATEGORIES= lang
|
||||
MASTER_SITES= http://www.dina.kvl.dk/~sestoft/mosml/
|
||||
DISTNAME= mos201src
|
||||
|
||||
MAINTAINER= debois@diku.dk
|
||||
MAINTAINER= ports@FreeBSD.org
|
||||
COMMENT= Moscow ML, a lightweight implementation of Standard ML
|
||||
|
||||
LIB_DEPENDS= gmp.6:${PORTSDIR}/math/libgmp4
|
||||
|
Loading…
Reference in New Issue
Block a user