Skip to content

Commit

Permalink
chore(Java): bump conversion library (#1423)
Browse files Browse the repository at this point in the history
  • Loading branch information
@texastony
texastony authored Oct 8, 2024
1 parent 2b85507 commit 8931e27
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion project.properties
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,4 @@ mplDependencyJavaVersion=1.6.0
dafnyVersion=4.8.0
dafnyVerifyVersion=4.8.0
dafnyRuntimeJavaVersion=4.8.0
smithyDafnyJavaConversionVersion=0.1
smithyDafnyJavaConversionVersion=0.1.1

0 comments on commit 8931e27

Please sign in to comment.