We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 70affaf commit 1e90d9dCopy full SHA for 1e90d9d
build.sbt
@@ -18,7 +18,7 @@ Test / parallelExecution := true
18
lazy val commonSettings = Seq(
19
organization := "com.regblanc",
20
name := "scala-smtlib",
21
- scalaVersion := "3.3.0",
+ scalaVersion := "3.7.0",
22
)
23
24
lazy val root = (project in file(".")).
0 commit comments