summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2017-07-12 16:26:46 +0200
committerDamien Doligez <damien.doligez@inria.fr>2017-07-12 17:51:21 +0200
commit36750d1301ec197e52a1e3d77f20b33dfdf14803 (patch)
tree17acc596ccf9ff00dc231f9833347346b68682fb
parent4f94062611a30b3df3cc1c46a4e5a1db849b6f07 (diff)
downloadocaml-4.05.0.tar.gz
change VERSION for 4.05.04.05.0
-rw-r--r--VERSION2
-rwxr-xr-xboot/ocamlcbin2152385 -> 2152368 bytes
-rwxr-xr-xboot/ocamldepbin2077992 -> 2077975 bytes
-rwxr-xr-xboot/ocamllexbin280326 -> 280309 bytes
4 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 31ea282c1f..6ca3825364 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.05.0+dev13-2017-07-12
+4.05.0
# 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 63a98708a8..6096b0c99c 100755
--- a/boot/ocamlc
+++ b/boot/ocamlc
Binary files differ
diff --git a/boot/ocamldep b/boot/ocamldep
index 1c958a292f..fd39892fec 100755
--- a/boot/ocamldep
+++ b/boot/ocamldep
Binary files differ
diff --git a/boot/ocamllex b/boot/ocamllex
index 5d74de765e..b42a2f18ef 100755
--- a/boot/ocamllex
+++ b/boot/ocamllex
Binary files differ