Merge branch 'main' of github.com:google/or-tools

google · Feb 19, 2025 · e0f2787 · e0f2787
2 parents 7fec12b + b59abbf
commit e0f2787
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/MODULE.bazel b/MODULE.bazel
@@ -5,12 +5,11 @@
 # For more details, please check https://github.com/bazelbuild/bazel/issues/18958
 ###############################################################################
 
-OR_TOOLS_VERSION = "10.0.0"
+OR_TOOLS_VERSION = "10.0"
 
 module(
-    name = "or-tools",
+    name = "ortools",
     version = OR_TOOLS_VERSION,
-    repo_name = "com_google_ortools",
 )
 
 # see https://registry.bazel.build/