diff options
| author | Emilio Jesus Gallego Arias | 2019-12-24 12:59:12 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-12-24 12:59:12 +0100 |
| commit | 23eb6e3805738ad244f37e73c34e0488dc9c71f8 (patch) | |
| tree | 6199226650db412bab4e81d78b63eda0ec510f1c /plugins/extraction/ExtrHaskellBasic.v | |
| parent | 028d64fb5c461e32752b0f8a92d4e2eca2a26d0d (diff) | |
| parent | 04ab17b9bafa372bac0dd9fa7bc300fd6c72d490 (diff) | |
Merge PR #11316: Windows: switch OCaml to 4.08.1
Reviewed-by: ejgallego
Diffstat (limited to 'plugins/extraction/ExtrHaskellBasic.v')
0 files changed, 0 insertions, 0 deletions