kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Drop MAINTAINER

Browse source 
PR:		88197
Submitted by:	Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
This commit is contained in:
Marcus Alves Grando 2005-10-29 20:14:47 +00:00
parent 9936b7dbf9
commit 6271d456ad
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=146695
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
math/coq/Makefile
View file

@ -11,7 +11,7 @@ CATEGORIES= math
MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/
DISTNAME= coq-8.0pl2
MAINTAINER= r.c.ladan@student.tue.nl
MAINTAINER= ports@FreeBSD.org
COMMENT= Theorem prover based on lambda-C
BUILD_DEPENDS= ocamlc:${PORTSDIR}/lang/ocaml