Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit bde1ea3

Browse files
seebeesseebees
committedOct 4, 2024
new version
1 parent d577df4 commit bde1ea3

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed
 

‎project.properties

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
projectJavaVersion=3.7.0-SNAPSHOT
22
mplDependencyJavaVersion=1.6.0
3-
dafnyVersion=4.8.0
4-
dafnyVerifyVersion=4.8.0
5-
dafnyRuntimeJavaVersion=4.8.0
3+
dafnyVersion=4.8.1
4+
dafnyVerifyVersion=4.8.1
5+
dafnyRuntimeJavaVersion=4.8.1
66
smithyDafnyJavaConversionVersion=0.1

0 commit comments

Comments
 (0)
Please sign in to comment.