Updating sbt assembly and builinfo versions since the old ones are no…

… longer available
viperproject · Dec 22, 2024 · 8a4e3c2 · 8a4e3c2
1 parent 03e7dab
commit 8a4e3c2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/project/plugins.sbt b/project/plugins.sbt
@@ -4,5 +4,5 @@
 //
 // Copyright (c) 2011-2019 ETH Zurich.
 
-addSbtPlugin("com.eed3si9n" % "sbt-assembly" % "0.15.0")
-addSbtPlugin("com.eed3si9n" % "sbt-buildinfo" % "0.10.0")
+addSbtPlugin("com.eed3si9n" % "sbt-assembly" % "1.0.0")
+addSbtPlugin("com.eed3si9n" % "sbt-buildinfo" % "0.11.0")
diff --git a/silver b/silver