There was an error while loading. Please reload this page.
1 parent f8d8e79 commit 054177dCopy full SHA for 054177d
1 file changed
settings.gradle
@@ -6,7 +6,7 @@ dependencyResolutionManagement {
6
versionCatalogs {
7
libs {
8
// Make sure to also update the version in ./demo
9
- version("checkerFramework", "3.49.3-eisop1")
+ version("checkerFramework", "3.49.5-eisop1")
10
11
library("checkerFramework-checker", "io.github.eisop", "checker").versionRef("checkerFramework")
12
library("checkerFramework-checker-qual", "io.github.eisop", "checker-qual").versionRef("checkerFramework")
0 commit comments