diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2017-07-12 16:26:46 +0200 |
---|---|---|
committer | Damien Doligez <damien.doligez@inria.fr> | 2017-07-12 17:51:21 +0200 |
commit | 36750d1301ec197e52a1e3d77f20b33dfdf14803 (patch) | |
tree | 17acc596ccf9ff00dc231f9833347346b68682fb | |
parent | 4f94062611a30b3df3cc1c46a4e5a1db849b6f07 (diff) | |
download | ocaml-4.05.0.tar.gz |
change VERSION for 4.05.04.05.0
-rw-r--r-- | VERSION | 2 | ||||
-rwxr-xr-x | boot/ocamlc | bin | 2152385 -> 2152368 bytes | |||
-rwxr-xr-x | boot/ocamldep | bin | 2077992 -> 2077975 bytes | |||
-rwxr-xr-x | boot/ocamllex | bin | 280326 -> 280309 bytes |
4 files changed, 1 insertions, 1 deletions
@@ -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 Binary files differindex 63a98708a8..6096b0c99c 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex 1c958a292f..fd39892fec 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 5d74de765e..b42a2f18ef 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |