aws-cryptographic-material-providers-library/project.properties at 8c1f1566cbe15bba875aeed7c18ba2c515080210 · aws/aws-cryptographic-material-providers-library · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
# This file stores the top level dafny version information.
# All elements of the project need to agree on this version.
# The Github actions use .github/workflows/dafny_version.yaml
# The build scripts use
#     export `export `cat ./aws-cryptographic-material-providers-library-dafny/project.properties`
# The Java project include this file as a Gradle properties
# And the Dotnet projects include and parse this file.
dafnyVersion=4.9.0
dafnyVerifyVersion=4.9.1
# TEMPORARY WORKAROUND: When updating dafnyVersion, try to REMOVE this property first.
# Only keep if the new Dafny version has Python runtime compatibility issues.
# GitHub workflow will enforce this review. Goal: remove this entirely.
dafnyRuntimePythonVersion=4.11.0
dafnyRustVersion=4.10.0
mplVersion=1.11.1-SNAPSHOT