diff options
| author | vs <vs@FreeBSD.org> | 2005-12-07 23:59:14 +0800 |
|---|---|---|
| committer | vs <vs@FreeBSD.org> | 2005-12-07 23:59:14 +0800 |
| commit | 78f747cbfaacdee3a6c843e2566691f5728caf8e (patch) | |
| tree | 28a7c9223817224c66fd449499f0e02ece9a074c /math | |
| parent | 40df7cca52c912b72ee34ee64398dbbaeb87a207 (diff) | |
| download | freebsd-ports-gnome-78f747cbfaacdee3a6c843e2566691f5728caf8e.tar.gz freebsd-ports-gnome-78f747cbfaacdee3a6c843e2566691f5728caf8e.tar.zst freebsd-ports-gnome-78f747cbfaacdee3a6c843e2566691f5728caf8e.zip | |
Unbreak: Add vendor-patch for ocaml 3.09
Diffstat (limited to 'math')
| -rw-r--r-- | math/coq/Makefile | 2 | ||||
| -rw-r--r-- | math/coq/distinfo | 3 |
2 files changed, 5 insertions, 0 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 56ce16dad424..19029eb48085 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -11,6 +11,8 @@ PORTREVISION= 1 CATEGORIES= math MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/ DISTNAME= coq-8.0pl2 +PATCHFILES= patch-coq-8.0pl2-ocaml-3.09 +PATCH_SITES= ${MASTER_SITES} MAINTAINER= ports@FreeBSD.org COMMENT= Theorem prover based on lambda-C diff --git a/math/coq/distinfo b/math/coq/distinfo index 8f40e833fbc8..cdadc0618b43 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,3 +1,6 @@ MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79 SHA256 (coq-8.0pl2.tar.gz) = 95e0180b560dd3efc006dd88f4996b5b2dca70d895b058be8e1def490c52842b SIZE (coq-8.0pl2.tar.gz) = 2285855 +MD5 (patch-coq-8.0pl2-ocaml-3.09) = 9a53dc19f345c6c9df9fb18a5f28d8d6 +SHA256 (patch-coq-8.0pl2-ocaml-3.09) = f81eec6b1e39760795015dd954c49c39aef0b4d29409fe866f5f6299f0a5f75f +SIZE (patch-coq-8.0pl2-ocaml-3.09) = 818 |