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

fed up with changing checksums: provide a local mirror and kill

Browse Source 
IGNOREFILES.
This commit is contained in:
espie 2004-07-11 12:18:44 +00:00
parent 70cc4d680c
commit c3a71ab9a0
2 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
math/coq/Makefile
View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.7 2003/12/31 17:07:26 sturm Exp $
# $OpenBSD: Makefile,v 1.8 2004/07/11 12:18:44 espie Exp $
COMMENT= "proof assistant based on a typed lambda calculus"
@ -18,19 +18,18 @@ MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V7.3.1/
MASTER_SITES0= ${MASTER_SITES:S@$@doc/@}
MASTER_SITES1= http://coq.inria.fr/
MASTER_SITES2= http://coq.inria.fr/ps/
MASTER_SITES3= ftp://quatramaran.ens.fr/pub/espie/coq/
DISTFILES= ${DISTNAME}.tar.gz \
doc-html.tar.gz:0 \
doc-html-20040711.tar.gz:3 \
Changes.html:0 \
Reference-Manual-all.ps.gz:0 \
library.tar.gz:1 \
RecTutorial.v.ps:2
PATCHFILES= patch-coq-7.3.1-ocaml-3.07
IGNOREFILES= doc-html.tar.gz
DIST_SUBDIR= coq
EXTRACT_ONLY= ${DISTNAME}.tar.gz \
doc-html.tar.gz \
doc-html-20040711.tar.gz \
library.tar.gz \
FAKE_FLAGS= COQINSTALLPREFIX=${WRKINST}

4
math/coq/distinfo
View File

@ -2,18 +2,20 @@ MD5 (coq/Changes.html) = fa6889dabdc877e3dcf555ce1538ce0d
MD5 (coq/RecTutorial.v.ps) = b0e3f68fa326e64cac569f9b0da098a1
MD5 (coq/Reference-Manual-all.ps.gz) = eb979cd0bdb66956e9e1aa565841c6c2
MD5 (coq/coq-7.3.1.tar.gz) = bb403460bb51de80605b79dfa04fe807
MD5 (coq/doc-html.tar.gz) = IGNORE
MD5 (coq/doc-html-20040711.tar.gz) = 09c36703ca15ba99bf7f4fb4380224c9
MD5 (coq/library.tar.gz) = df44edc0178c643e0f7f9e5f8b4acb44
MD5 (coq/patch-coq-7.3.1-ocaml-3.07) = 1d741e547e79690f1a70addbf0e101d2
RMD160 (coq/Changes.html) = 8d0dd1e9957673efbe3a1638f8d7626d840cc792
RMD160 (coq/RecTutorial.v.ps) = bcc8967bfcf2df0e4b3671a2918189ed68bda225
RMD160 (coq/Reference-Manual-all.ps.gz) = fcdabfbe91d4a01a5b42a7d02817e74759f702e6
RMD160 (coq/coq-7.3.1.tar.gz) = a104a378e27fe605abe302508f12942e9460cc2f
RMD160 (coq/doc-html-20040711.tar.gz) = 47371a5c17e94266707b18dd492f47d4e4e1cdfe
RMD160 (coq/library.tar.gz) = f1e9ad855c27bb1a5045867df9ba1b56553470ed
RMD160 (coq/patch-coq-7.3.1-ocaml-3.07) = 3a6b69d9db10833e7224ca5ce1bb88020031cf8f
SHA1 (coq/Changes.html) = fe3e38b12a6cae141de27c46e9e1cb16999c90fa
SHA1 (coq/RecTutorial.v.ps) = 18f4d022aa0065bab3506f9a79e626d6a8cacfd4
SHA1 (coq/Reference-Manual-all.ps.gz) = 17bd9cb9fba01578dea7c02fc2bec07680a12c7c
SHA1 (coq/coq-7.3.1.tar.gz) = 85627e5ae31f80a9f7b1dfd8d2573bfd4ebe2871
SHA1 (coq/doc-html-20040711.tar.gz) = 84c6e4421643d083d0af997276f1f4bc1f9e8277
SHA1 (coq/library.tar.gz) = 8dcbc596bbcdb3186cc24f5999c43872226eca4c
SHA1 (coq/patch-coq-7.3.1-ocaml-3.07) = 001184bdc6f39fc5edff2bf0f3b27454a21b85e1