Skip to content

Commit

Permalink
stable dependencies
Browse files Browse the repository at this point in the history
  • Loading branch information
pruemmer committed Jan 12, 2024
1 parent 7a649c9 commit b6ee312
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions build.sbt
Original file line number Diff line number Diff line change
Expand Up @@ -82,10 +82,10 @@ lazy val root = (project in file(".")).
mainClass in Compile := Some("ostrich.OstrichMain"),
unmanagedSourceDirectories in Test += baseDirectory.value / "replaceall-benchmarks" / "src" / "test" / "scala",
//
resolvers += "uuverifiers" at "https://eldarica.org/maven/",
// resolvers += "uuverifiers" at "https://eldarica.org/maven/",
//
libraryDependencies += "uuverifiers" %% "princess" % "nightly-SNAPSHOT",
// libraryDependencies += "io.github.uuverifiers" %% "princess" % "2023-06-19",
// libraryDependencies += "uuverifiers" %% "princess" % "nightly-SNAPSHOT",
libraryDependencies += "io.github.uuverifiers" %% "princess" % "2024-01-12",
// libraryDependencies += "uuverifiers" % "ecma2020-regex-parser" % "0.5",
libraryDependencies += "org.sat4j" % "org.sat4j.core" % "2.3.1",
libraryDependencies += "org.scalacheck" %% "scalacheck" % "1.14.0" % "test",
Expand Down

0 comments on commit b6ee312

Please sign in to comment.