Merge pull request viperproject#539 from viperproject/meilers_assembl…

…y_version_update Updating sbt assembly version since the old one is no longer available
viper-admin · Dec 22, 2024 · 7d96096 · 7d96096
2 parents 0508e8f + 76cf6d5
commit 7d96096
Show file tree

Hide file tree

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