diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2017-06-28 15:57:37 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2017-06-28 15:57:37 +0200 |
| commit | 0b20e389319cdcd393fe47ca3ff9374efe272d85 (patch) | |
| tree | 625344d7d3151093cefa1db9300bf594bf5ba23d | |
| parent | 2f5038134f4bddb0ef011f4c344c1c934fed2c88 (diff) | |
| download | ocaml-0b20e389319cdcd393fe47ca3ff9374efe272d85.tar.gz | |
change VERSION for 4.05.0+rc14.05.0+rc1
| -rw-r--r-- | VERSION | 2 | ||||
| -rwxr-xr-x | boot/ocamlc | bin | 2152402 -> 2152389 bytes | |||
| -rwxr-xr-x | boot/ocamldep | bin | 2078009 -> 2077996 bytes | |||
| -rwxr-xr-x | boot/ocamllex | bin | 280334 -> 280321 bytes |
4 files changed, 1 insertions, 1 deletions
@@ -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 Binary files differindex 0f6cfb8525..d8c427d3d4 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex de4c528f80..bd7e0bb9c3 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex f73f6dfb04..3374dda5e2 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |
