From b06fbdd052944bd77636960c43d6b75ee5f53ce9 Mon Sep 17 00:00:00 2001
From: Jan Schlosser <jan.schlosser@bmw.de>
Date: Sun, 12 Jul 2026 12:58:27 +0200
Subject: [PATCH] Bump TRLC to release 3.0.0 and Lobster to 1.0.3

This way we get rid of the git_overrides.
---
 MODULE.bazel | 15 ++-------------
 1 file changed, 2 insertions(+), 13 deletions(-)

diff --git a/MODULE.bazel b/MODULE.bazel
index a9738611..0df7e564 100644
--- a/MODULE.bazel
+++ b/MODULE.bazel
@@ -368,19 +368,8 @@ use_repo(maven, "blueprint_maven_dependencies")
 
 use_repo(pip, "manual_analysis_deps")
 
-bazel_dep(name = "trlc", version = "0.0.0")
-git_override(
-    module_name = "trlc",
-    commit = "8d25f639ff44976893d7866ba421a04db5698ebe",
-    remote = "https://github.com/bmw-software-engineering/trlc.git",
-)
-
-bazel_dep(name = "lobster", version = "0.0.0")
-git_override(
-    module_name = "lobster",
-    commit = "2792e2daee2cf524fdc7b1545fd3537791ebc36c",
-    remote = "https://github.com/bmw-software-engineering/lobster.git",
-)
+bazel_dep(name = "trlc", version = "3.0.0")
+bazel_dep(name = "lobster", version = "1.0.3")
 
 ###############################################################################
 # Dependencies for AI Checker