summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--devel/ocaml-camlp5/Makefile2
-rw-r--r--devel/ocaml-camlp5/distinfo4
2 files changed, 3 insertions, 3 deletions
diff --git a/devel/ocaml-camlp5/Makefile b/devel/ocaml-camlp5/Makefile
index 796d1c39cec5..8f9fabf50928 100644
--- a/devel/ocaml-camlp5/Makefile
+++ b/devel/ocaml-camlp5/Makefile
@@ -7,7 +7,7 @@
#
PORTNAME= camlp5
-PORTVERSION= 6.04
+PORTVERSION= 6.05
CATEGORIES= devel
MASTER_SITES= http://cristal.inria.fr/~ddr/camlp5/distrib/src/ \
http://pauillac.inria.fr/~ddr/camlp5/distrib/src/
diff --git a/devel/ocaml-camlp5/distinfo b/devel/ocaml-camlp5/distinfo
index 5532a1ced4fd..da57a45b3037 100644
--- a/devel/ocaml-camlp5/distinfo
+++ b/devel/ocaml-camlp5/distinfo
@@ -1,2 +1,2 @@
-SHA256 (ocaml-camlp5/camlp5-6.04.tgz) = 52a39d931e88c0b2a315cca2daff35fd5cc2c0abd92abf339e9ca7a7fad9fcb2
-SIZE (ocaml-camlp5/camlp5-6.04.tgz) = 660563
+SHA256 (ocaml-camlp5/camlp5-6.05.tgz) = 078453caeb480274df8bcad7e1ef5a2a0774fb9f2c1f62f71573798825a194bd
+SIZE (ocaml-camlp5/camlp5-6.05.tgz) = 659454