diff --git a/index/po/portable_minimal_ada_rts/portable_minimal_ada_rts-0.1.0.toml b/index/po/portable_minimal_ada_rts/portable_minimal_ada_rts-0.1.0.toml index bf84d6216..e0dd1d343 100644 --- a/index/po/portable_minimal_ada_rts/portable_minimal_ada_rts-0.1.0.toml +++ b/index/po/portable_minimal_ada_rts/portable_minimal_ada_rts-0.1.0.toml @@ -10,7 +10,7 @@ maintainers-logins = ["jgrivera67"] [origin] -commit = "a2d8c5a5eec24bc6a37f74ed8bf894fdfc2aba97" +commit = "b64475295a8a3a03ea3cc888b42a55a3743bffd2" subdir = "./third_party/portable_minimal_ada_rts/" url = "git+https://github.com/jgrivera67/HiRTOS.git"