sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-05-31 10:26:28 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Unbreak: Add vendor-patch for ocaml 3.09

Browse source
This commit is contained in:
Volker Stolz 2005-12-07 15:59:14 +00:00
parent b4d7e05e06
commit d1bd8ed621
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=150602
2 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
math/coq/Makefile
View file

@ -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

3
math/coq/distinfo
View file

@ -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