diff options
| author | Maxime Dénès | 2020-02-29 17:09:50 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2020-03-03 08:48:44 +0100 |
| commit | 7d3b46c53430afd3c85b827fe1814202de3399a6 (patch) | |
| tree | fcf4d0bbdc8a2a7fd85c1d7f175dbee4b06dc5e5 /kernel/genOpcodeFiles.ml | |
| parent | 209b1c27c5f23787f7159d9f5f5c6f13fcb7dfc0 (diff) | |
Update the OCaml version in `default.nix` to 4.09.0
It is more convenient to use recent versions of OCaml while developing
(better backtraces, etc).
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions