diff options
author | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2022-07-26 17:05:13 +0900 |
---|---|---|
committer | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2022-07-26 17:05:13 +0900 |
commit | 8788f3766b674e0a470b5cb7b30a43cbfaf0e12f (patch) | |
tree | 052bb6e747b57532b907486d6c9bf6770e7de1e9 /boot | |
parent | bdb9a66b72a9f3b85f45f954d57d445d830aa49a (diff) | |
download | ocaml-8788f3766b674e0a470b5cb7b30a43cbfaf0e12f.tar.gz |
bootstrap
Diffstat (limited to 'boot')
-rwxr-xr-x | boot/ocamlc | bin | 3027668 -> 3034851 bytes |
-rwxr-xr-x | boot/ocamllex | bin | 383337 -> 386668 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 141fc5b08a..612ff353fa 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 682a87e119..8349975dbe 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |