cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update maintainer's email address, remove a dead master site.

Browse Source 
from Yozo TODA <yozo@v007.vaio.ne.jp>
This commit is contained in:
pvalchev 2002-01-31 20:41:38 +00:00
parent 1f3e752136
commit c440a7d291
2 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
math/coq/Makefile
View File

@ -1,21 +1,20 @@
# $OpenBSD: Makefile,v 1.2 2001/11/10 15:00:48 espie Exp $
# $OpenBSD: Makefile,v 1.3 2002/01/31 20:41:38 pvalchev Exp $
COMMENT= "proof assistant based on a typed lambda calculus"
DISTNAME= coq-7.0
CATEGORIES= math
NEED_VERSION= 1.457
NEED_VERSION= 1.504
HOMEPAGE= http://coq.inria.fr/
MAINTAINER= Yozo Toda <yozo@imit.chiba-u.ac.jp>
MAINTAINER= Yozo Toda <yozo@v007.vaio.ne.jp>
PERMIT_PACKAGE_CDROM= Yes
PERMIT_PACKAGE_FTP= Yes
PERMIT_DISTFILES_CDROM= Yes
PERMIT_DISTFILES_FTP= Yes
MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V7.0/ \
ftp://ftp.imit.chiba-u.ac.jp/pub/pub.yozo/tmp/ftp.inria.fr/INRIA/Projects/coq/coq/V7.0/
MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V7.0/
MASTER_SITES0= ${MASTER_SITES:S@$@doc/@}
DISTFILES= ${DISTNAME}.tar.gz \
doc-html.tar.gz:0 \

6
math/coq/files/md5 → math/coq/distinfo
View File

@ -1,9 +1,9 @@
MD5 (coq/coq-7.0.tar.gz) = d0ac03af950acd27b3313043e5aa3587
MD5 (coq/all-ps-docs.tar.gz) = 1bdcea2bf45707c8d542c5cdcd2dbbf6
MD5 (coq/coq-7.0.tar.gz) = d0ac03af950acd27b3313043e5aa3587
MD5 (coq/doc-html.tar.gz) = 802b110114e54068b502f37c8156cdf2
RMD160 (coq/coq-7.0.tar.gz) = d3139881574f83935292e71014d1c54c260c1787
RMD160 (coq/all-ps-docs.tar.gz) = c3aa484984949eaf0fd5aa5c1e7087aee6900dad
RMD160 (coq/coq-7.0.tar.gz) = d3139881574f83935292e71014d1c54c260c1787
RMD160 (coq/doc-html.tar.gz) = 75df7f07af08c97c0cb4286ccfb03d656e3d3c08
SHA1 (coq/coq-7.0.tar.gz) = e550d2cc92df0813c2f16c151ab3eae6c2c6acb6
SHA1 (coq/all-ps-docs.tar.gz) = 693187982509dec281d9d9cd028d78e812d30cf2
SHA1 (coq/coq-7.0.tar.gz) = e550d2cc92df0813c2f16c151ab3eae6c2c6acb6
SHA1 (coq/doc-html.tar.gz) = 3cfbcc6756cc9b30451cef07094a3c1f8a2cb7bf