diff options
Diffstat (limited to 'lang')
-rw-r--r-- | lang/camlp5/Makefile | 4 | ||||
-rw-r--r-- | lang/camlp5/distinfo | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/lang/camlp5/Makefile b/lang/camlp5/Makefile index 46a148117a6..9b489423b4f 100644 --- a/lang/camlp5/Makefile +++ b/lang/camlp5/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.10 2009/09/03 17:29:37 tonio Exp $ +# $NetBSD: Makefile,v 1.11 2010/04/24 18:40:43 tonio Exp $ # -DISTNAME= camlp5-5.12 +DISTNAME= camlp5-5.13 CATEGORIES= lang MASTER_SITES= http://pauillac.inria.fr/~ddr/camlp5/distrib/src/ EXTRACT_SUFX= .tgz diff --git a/lang/camlp5/distinfo b/lang/camlp5/distinfo index 8c66aee600f..f512d73ce9a 100644 --- a/lang/camlp5/distinfo +++ b/lang/camlp5/distinfo @@ -1,5 +1,5 @@ -$NetBSD: distinfo,v 1.4 2009/09/03 17:29:37 tonio Exp $ +$NetBSD: distinfo,v 1.5 2010/04/24 18:40:43 tonio Exp $ -SHA1 (camlp5-5.12.tgz) = 33dd83e33e8554f88004d2c4a57dcf92a5881700 -RMD160 (camlp5-5.12.tgz) = 4ba66bc3addff65208a70802371c0987b136d8c6 -Size (camlp5-5.12.tgz) = 685032 bytes +SHA1 (camlp5-5.13.tgz) = b7aba330497a47d99efae8fb0646f9f86bbaef0c +RMD160 (camlp5-5.13.tgz) = a648e0c381d0778ec8e5371c685a495bccb44b6b +Size (camlp5-5.13.tgz) = 684951 bytes |