diff options
Diffstat (limited to 'lang/coq/distinfo')
| -rw-r--r-- | lang/coq/distinfo | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index b528bb8eff2..364220336c5 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,8 +1,6 @@ -$NetBSD: distinfo,v 1.14 2012/10/29 11:33:17 jaapb Exp $ +$NetBSD: distinfo,v 1.15 2013/01/22 15:32:03 jaapb Exp $ -SHA1 (coq-8.4.tar.gz) = 2987aa418dd96a0df7284afe296293cb28814ef5 -RMD160 (coq-8.4.tar.gz) = 6824f9542c823c7d943a59acefb90ff9c9dbe37a -Size (coq-8.4.tar.gz) = 4134779 bytes +SHA1 (coq-8.4pl1.tar.gz) = 23d403dbe9e410a99c584d0210dc527950051679 +RMD160 (coq-8.4pl1.tar.gz) = fa472852de474ed5b83ddd4bd5a303f32b5dba94 +Size (coq-8.4pl1.tar.gz) = 4139808 bytes SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4 -SHA1 (patch-ide_preferences.ml) = 625b8e7fe7b4f1612c7f43bd634070aff928fdfb -SHA1 (patch-ide_utils_okey.ml) = d61ad0e2ea23c531bb4f5e9540f8581a72b54da8 |