diff --git a/config/custom_navajo.json b/config/custom_navajo.json index bd4387e..d8343bc 100644 --- a/config/custom_navajo.json +++ b/config/custom_navajo.json @@ -5,9 +5,14 @@ "expiry": "2100-01-01" }, { - "url": "https://github.com/johan511/ocaml/archive/refs/heads/oldify_races.zip", - "name": "5.3.0+trunk+gc-alloc-race-fix", - "expiry": "2024-01-17" + "url": "https://github.com/ocaml/ocaml/archive/refs/heads/5.0.zip", + "name": "5.0.1+trunk", + "expiry": "2024-02-10" + }, + { + "url": "https://github.com/ocaml/ocaml/archive/refs/heads/5.2.zip", + "name": "5.2.0+trunk", + "expiry": "2024-02-10" }, { "url": "https://github.com/eutro/ocaml/archive/refs/heads/tsdnr-barriers.zip",