diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2017-03-20 17:31:44 +0100 |
---|---|---|
committer | Damien Doligez <damien.doligez@inria.fr> | 2017-03-20 17:31:44 +0100 |
commit | 941c0c7fa4aded6452da2258183c5ff9b407ca0f (patch) | |
tree | 7ade05b6e3c64ff72d5ef2a99166e5dc39a693fb | |
parent | 453f1697b2f4d5b8b72a9e19dc1dc7da165b240d (diff) | |
download | ocaml-941c0c7fa4aded6452da2258183c5ff9b407ca0f.tar.gz |
change VERSION for 4.05.0+beta34.05.0+beta3
-rw-r--r-- | VERSION | 2 | ||||
-rwxr-xr-x | boot/ocamlc | bin | 2150099 -> 2150089 bytes | |||
-rwxr-xr-x | boot/ocamldep | bin | 2075706 -> 2075696 bytes | |||
-rwxr-xr-x | boot/ocamllex | bin | 280310 -> 280300 bytes |
4 files changed, 1 insertions, 1 deletions
@@ -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 Binary files differindex 9ff2c26431..519199b48d 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex d5c614abf4..9ab20dca61 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 421ab4556c..f106ebace1 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |