Update configs

coordinator/configs/projects-config.conf

@@ -253,6 +253,12 @@ cheleb_zio-pravega {
     "removeScalacOptionsStartingWith -P:wartremover"
   ]
 }
+cheleb_zio-laminar-tapir{
+  sbt.commands = [
+    "excludeLibraryDependency org.wartremover:wartremover_{scalaVersion}",
+    "removeScalacOptionsStartingWith -P:wartremover"
+  ]
+}
 circe_circe {
   source-patches = [{ 
     path = "modules/core/shared/src/main/scala-3/io/circe/derivation/ConfiguredDecoder.scala"
@@ -472,6 +478,29 @@ frugalmechanic_fm-serializer {
 }	
 
 garlandus_augment.java.version=17
+gapt_gapt{
+  source-patches = [{ 
+    path = "core/src/main/scala/gapt/proofs/gaptic/core.scala"
+    pattern      = "def flatMap[U](func: Val => Tactic[U]): Tactic[U] ="
+    replace-with = "def map[U](func: Val => U): Tactic[U] = ???\n    def flatMap[U](func: Val => Tactic[U]): Tactic[U] =" 
+  },{
+    path = "core/src/main/scala/gapt/provers/viper/aip/axioms/StandardInductionAxioms.scala"
+    pattern      = " orElse "
+    replace-with = " `orElse` "
+  },{
+    path = "core/src/main/scala/gapt/provers/viper/aip/axioms/StandardInductionAxioms.scala"
+    pattern      = " andThen "
+    replace-with = " `andThen` "
+  },{
+    path = "core/src/main/scala/gapt/formats/tip/util/Substitution.scala"
+    pattern      = "substitution.filter { case (v, t) => predicate(v, t) } toSeq: _*"
+    replace-with = "(substitution.filter { case (v, t) => predicate(v, t) }.toSeq)*"
+  },{
+    path = "core/src/main/scala/gapt/grammars/lgg.scala"
+    pattern      = "(fa(as_ : _*), s_.flatten.headOption)"
+    replace-with = "(fa(`as_`*), s_.flatten.headOption)"
+  }]
+}
 gchudnov_mindthegap{
   source-patches = [
     { 
@@ -836,6 +865,11 @@ laserdisc-io_fs2-aws{
   sbt.commands = ["disableFatalWarnings"]
 }
 lichess-org_lila.java.version = 21
+lichess-org_lila-search{
+  sbt.commands = [
+    "excludeLibraryDependency com.github.ghik:zerowaste_{scalaVersion}"
+  ]
+}
 lichess-org_playframework-lila.java.version = 21
 lichess-org_scalachess { 
   tests = compile-only // Deadlocks in containers
@@ -1270,11 +1304,6 @@ softwaremill_akka-http-session {
 }
 softwaremill_ox {
   java.version=21
-  source-patches = [{
-    path = "plugin/src/main/scala/ox/plugin/RequireIO.scala"
-    pattern      = "def init(options: List[String]): List[PluginPhase]"
-    replace-with = "override def init(options: List[String]): List[PluginPhase]" 
-  }]
 }
 softwaremill_sttp {
   sbt {

coordinator/configs/require/migration/3.4.2

@@ -1,4 +1,3 @@
-
 47degrees/github4s
 7mind/izumi
 akka/akka-http
@@ -49,6 +48,7 @@ firstbirdtech/emergence
 flink-extended/flink-scala-api
 folone/poi.scala
 frugalmechanic/fm-serializer
+gapt/gapt
 gchudnov/mindthegap
 geirolz/advxml
 geirolz/cats-xml