summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2017-03-20 17:31:44 +0100
committerDamien Doligez <damien.doligez@inria.fr>2017-03-20 17:31:44 +0100
commit941c0c7fa4aded6452da2258183c5ff9b407ca0f (patch)
tree7ade05b6e3c64ff72d5ef2a99166e5dc39a693fb
parent453f1697b2f4d5b8b72a9e19dc1dc7da165b240d (diff)
downloadocaml-941c0c7fa4aded6452da2258183c5ff9b407ca0f.tar.gz
change VERSION for 4.05.0+beta34.05.0+beta3
-rw-r--r--VERSION2
-rwxr-xr-xboot/ocamlcbin2150099 -> 2150089 bytes
-rwxr-xr-xboot/ocamldepbin2075706 -> 2075696 bytes
-rwxr-xr-xboot/ocamllexbin280310 -> 280300 bytes
4 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index e4c341463b..51a0d82af0 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.05.0+dev7-2017-03-20
+4.05.0+beta3
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli
diff --git a/boot/ocamlc b/boot/ocamlc
index 9ff2c26431..519199b48d 100755
--- a/boot/ocamlc
+++ b/boot/ocamlc
Binary files differ
diff --git a/boot/ocamldep b/boot/ocamldep
index d5c614abf4..9ab20dca61 100755
--- a/boot/ocamldep
+++ b/boot/ocamldep
Binary files differ
diff --git a/boot/ocamllex b/boot/ocamllex
index 421ab4556c..f106ebace1 100755
--- a/boot/ocamllex
+++ b/boot/ocamllex
Binary files differ