Skip to content

Commit

Permalink
Bump Ocaml trunk version to 5.3
Browse files Browse the repository at this point in the history
  • Loading branch information
punchagan committed Dec 26, 2023
1 parent 8e6ad20 commit a305f42
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion config/custom_navajo.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
[
{
"url": "https://github.com/ocaml/ocaml/archive/trunk.tar.gz",
"name": "5.2.0+trunk",
"name": "5.3.0+trunk",
"expiry": "2100-01-01"
}
]
2 changes: 1 addition & 1 deletion config/custom_turing.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
[
{
"url": "https://github.com/ocaml/ocaml/archive/trunk.tar.gz",
"name": "5.2.0+trunk",
"name": "5.3.0+trunk",
"configure": "CC='gcc -Wa,-mbranches-within-32B' AS='as -mbranches-within-32B'",
"expiry": "2100-01-01"
}
Expand Down

0 comments on commit a305f42

Please sign in to comment.