summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2017-06-28 15:57:37 +0200
committerDamien Doligez <damien.doligez@inria.fr>2017-06-28 15:57:37 +0200
commit0b20e389319cdcd393fe47ca3ff9374efe272d85 (patch)
tree625344d7d3151093cefa1db9300bf594bf5ba23d
parent2f5038134f4bddb0ef011f4c344c1c934fed2c88 (diff)
downloadocaml-0b20e389319cdcd393fe47ca3ff9374efe272d85.tar.gz
change VERSION for 4.05.0+rc14.05.0+rc1
-rw-r--r--VERSION2
-rwxr-xr-xboot/ocamlcbin2152402 -> 2152389 bytes
-rwxr-xr-xboot/ocamldepbin2078009 -> 2077996 bytes
-rwxr-xr-xboot/ocamllexbin280334 -> 280321 bytes
4 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 3693d03979..fc8c4bfa80 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.05.0+dev11-2017-06-28
+4.05.0+rc1
# 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 0f6cfb8525..d8c427d3d4 100755
--- a/boot/ocamlc
+++ b/boot/ocamlc
Binary files differ
diff --git a/boot/ocamldep b/boot/ocamldep
index de4c528f80..bd7e0bb9c3 100755
--- a/boot/ocamldep
+++ b/boot/ocamldep
Binary files differ
diff --git a/boot/ocamllex b/boot/ocamllex
index f73f6dfb04..3374dda5e2 100755
--- a/boot/ocamllex
+++ b/boot/ocamllex
Binary files differ