diff options
| author | jaapb <jaapb> | 2014-10-09 22:19:01 +0000 |
|---|---|---|
| committer | jaapb <jaapb> | 2014-10-09 22:19:01 +0000 |
| commit | cf1358753975dcc2ecfb16aba811ea27015a64db (patch) | |
| tree | 136409c06d01142d76eeb43af63bb3719c7b9aba /lang/coq/distinfo | |
| parent | c15fd72d3c57c0f6a12843df30d702db8636b553 (diff) | |
| download | pkgsrc-cf1358753975dcc2ecfb16aba811ea27015a64db.tar.gz | |
Revbump because of ocaml 4.02, added compilation patch (already in
repository upstream) and updated package to use ocaml.mk framework.
Diffstat (limited to 'lang/coq/distinfo')
| -rw-r--r-- | lang/coq/distinfo | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index fae00471b6a..efa95a1484a 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,6 +1,7 @@ -$NetBSD: distinfo,v 1.19 2014/05/13 14:52:28 jaapb Exp $ +$NetBSD: distinfo,v 1.20 2014/10/09 22:19:01 jaapb Exp $ SHA1 (coq-8.4pl4.tar.gz) = 4dfc3a1ae65f5c480ddc4387d21549a526183e00 RMD160 (coq-8.4pl4.tar.gz) = 19e3fe905f5db09710b1f862f21e9b57c28f9704 Size (coq-8.4pl4.tar.gz) = 4067355 bytes SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4 +SHA1 (patch-kernel_univ.ml) = 2208e539870d6793b807bae46e0955b5f814f3fc |