New version: ORTools_jll v9.13.0+0 (#133764)

jlbuild · web-flow · commit 1c27e0abe9a0 · 2025-06-26T20:32:24.000-03:00
UUID: 717719f8-c30c-5086-8f3c-70cd6a1e3a46 Repo: https://github.com/JuliaBinaryWrappers/ORTools_jll.jl.git Tree: a5a82abe40f3fa5f57c65b159d9679c16d668e8b Registrator tree SHA: 50f504d641745716a5b3eabaf681d3a4937d2ae3
diff --git a/jll/O/ORTools_jll/Versions.toml b/jll/O/ORTools_jll/Versions.toml
@@ -15,3 +15,6 @@ git-tree-sha1 = "e8b4ce5801b563cd558cd2fa18112db58256eb56"
 
 ["9.12.0+0"]
 git-tree-sha1 = "e1baf1da970752f2442e685ce41d8bf5c376acb0"
+
+["9.13.0+0"]
+git-tree-sha1 = "a5a82abe40f3fa5f57c65b159d9679c16d668e8b"
