diff options
| author | Stephane Glondu <steph@glondu.net> | 2020-07-25 07:44:39 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2020-07-25 07:44:39 +0200 |
| commit | 8daec26e8db4256424282b8d328fd9369da3827e (patch) | |
| tree | 53c5c94642e5b002b4ba9495b06af1132d72ec92 /gen/update_dune.ml | |
| parent | 907bdd90dff056832510829869e1301e974f402c (diff) | |
New upstream version 5.3.0
Diffstat (limited to 'gen/update_dune.ml')
| -rw-r--r-- | gen/update_dune.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gen/update_dune.ml b/gen/update_dune.ml index 8f9c10a..0f39dd0 100644 --- a/gen/update_dune.ml +++ b/gen/update_dune.ml @@ -1,4 +1,4 @@ -let versions = ["402"; "403"; "404"; "405"; "406"; "407"; "408"; "409"] +let versions = ["402"; "403"; "404"; "405"; "406"; "407"; "408"; "409"; "410"] let flags = "(:standard -w +A-4-17-44-45-105-42 -safe-string)" |