From b38d6c370a9c4abcda523802dce3bbd1ee1f5cd9 Mon Sep 17 00:00:00 2001 From: semantic-release-bot Date: Wed, 6 Nov 2024 11:42:58 -0800 Subject: [PATCH] chore(release): 1.8.0 [skip ci] # [1.8.0](https://github.com/aws/aws-cryptographic-material-providers-library/compare/v1.7.3...v1.8.0) (2024-11-06) ### Bug Fixes * CI ([831aeea](https://github.com/aws/aws-cryptographic-material-providers-library/commit/831aeea05adbdb839241b47f6c0ce3a7deb92e33)) * Dafny verification ([1f4d8d7](https://github.com/aws/aws-cryptographic-material-providers-library/commit/1f4d8d7048ef140816aab6e4a3a744f8ec0cf4dc)) * DDBv2 Model backwards compatbility with DBESDK 3.7 ([8a318a4](https://github.com/aws/aws-cryptographic-material-providers-library/commit/8a318a4fc42aeec675321a837c927dad355ad25d)) * empty commit ([ffa34a5](https://github.com/aws/aws-cryptographic-material-providers-library/commit/ffa34a5e1a73b85e982b8564700c92214788233d)) * formatting ([38aa3c3](https://github.com/aws/aws-cryptographic-material-providers-library/commit/38aa3c36abc1e877354f7d89f740e5c15301a04a)) * Net Dafny Patch 2 file ([0d4f0f5](https://github.com/aws/aws-cryptographic-material-providers-library/commit/0d4f0f5ef3facdce1830731a8ef424ea9cb46eb0)) * Net Dafny Patch file ([e77879b](https://github.com/aws/aws-cryptographic-material-providers-library/commit/e77879bfca0a95c652083171c9551062ac7cd01f)) * Net Patch ([bf0a495](https://github.com/aws/aws-cryptographic-material-providers-library/commit/bf0a4954754522e55cb3bcb0c10d8525123486c5)) * Polymorph Python ([18f0d48](https://github.com/aws/aws-cryptographic-material-providers-library/commit/18f0d481ef6500718328dbbb90e525ce934f04ad)) * PR comments ([381e743](https://github.com/aws/aws-cryptographic-material-providers-library/commit/381e74322a0c9837f847b360b912b4e1235baab0)) * python formating ([bb29950](https://github.com/aws/aws-cryptographic-material-providers-library/commit/bb29950e3b70ab23d9b79f8ec3f71ba968cb8e20)) * **Python:** Support Python 3.13 ([#953](https://github.com/aws/aws-cryptographic-material-providers-library/issues/953)) ([000baed](https://github.com/aws/aws-cryptographic-material-providers-library/commit/000baedfab341670952449837541c88ea5cf1dba)) ### Features * ddbv2 net patch ([a36f799](https://github.com/aws/aws-cryptographic-material-providers-library/commit/a36f7997ea26befba0ce6090314d17d44d7596f5)) * ddbv2 re-polymorph ([1357f42](https://github.com/aws/aws-cryptographic-material-providers-library/commit/1357f42dfd8f24dcefdc07e248911d54bec26f2a)) * ddbv2 upgrade ([1584fbc](https://github.com/aws/aws-cryptographic-material-providers-library/commit/1584fbce54c69aaaace6935f5949e13d07613d3f)) --- .../runtimes/java/build.gradle.kts | 2 +- .../runtimes/net/AssemblyInfo.cs | 2 +- .../runtimes/net/MPL.csproj | 2 +- .../runtimes/python/pyproject.toml | 10 ++++---- .../runtimes/net/AssemblyInfo.cs | 2 +- .../runtimes/net/Crypto.csproj | 2 +- .../runtimes/python/pyproject.toml | 4 +-- .../internaldafny/generated/dafny_src-py.dtr | 2 +- CHANGELOG.md | 25 +++++++++++++++++++ .../runtimes/net/AssemblyInfo.cs | 2 +- .../runtimes/net/ComAmazonawsDynamodb.csproj | 2 +- .../runtimes/python/pyproject.toml | 4 +-- .../internaldafny/generated/dafny_src-py.dtr | 2 +- ComAmazonawsKms/runtimes/net/AWS-KMS.csproj | 2 +- ComAmazonawsKms/runtimes/net/AssemblyInfo.cs | 2 +- .../runtimes/python/pyproject.toml | 4 +-- .../internaldafny/generated/dafny_src-py.dtr | 2 +- StandardLibrary/runtimes/net/AssemblyInfo.cs | 2 +- StandardLibrary/runtimes/net/STD.csproj | 2 +- .../runtimes/python/pyproject.toml | 2 +- .../internaldafny/generated/dafny_src-py.dtr | 2 +- .../runtimes/java/build.gradle.kts | 2 +- .../internaldafny/generated/dafny_src-py.dtr | 2 +- .../internaldafny/generated/dafny_test-py.dtr | 2 +- 24 files changed, 55 insertions(+), 30 deletions(-) diff --git a/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts b/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts index 8b4871408..252cd1be4 100644 --- a/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts +++ b/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts @@ -18,7 +18,7 @@ var props = Properties().apply { var dafnyVersion = props.getProperty("dafnyVersion") group = "software.amazon.cryptography" -version = "1.7.3-SNAPSHOT" +version = "1.8.0" description = "AWS Cryptographic Material Providers Library" java { diff --git a/AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs b/AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs index 15197e1db..1f71eb46d 100644 --- a/AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs +++ b/AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs @@ -3,4 +3,4 @@ [assembly: AssemblyTitle("AWS.Cryptography.MaterialProviders")] // This should be kept in sync with the version number in MPL.csproj -[assembly: AssemblyVersion("1.7.3")] +[assembly: AssemblyVersion("1.8.0")] diff --git a/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj b/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj index 742a03387..5a12df7b5 100644 --- a/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj +++ b/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj @@ -5,7 +5,7 @@ false true - 1.7.3 + 1.8.0 AWS.Cryptography.MaterialProviders AWS.Cryptography.MaterialProviders diff --git a/AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml b/AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml index bf752163b..14df87974 100644 --- a/AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml +++ b/AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "aws-cryptographic-material-providers" -version = "1.7.3" +version = "1.8.0" description = "AWS Cryptographic Material Providers Library for Python" authors = ["AWS Crypto Tools "] packages = [ @@ -13,10 +13,10 @@ readme = "README.rst" [tool.poetry.dependencies] python = "^3.11.0" -aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"} -aws-cryptography-internal-kms = {path = "../../../ComAmazonawsKms/runtimes/python"} -aws-cryptography-internal-dynamodb = {path = "../../../ComAmazonawsDynamodb/runtimes/python"} -aws-cryptography-internal-primitives = {path = "../../../AwsCryptographyPrimitives/runtimes/python"} +aws-cryptography-internal-standard-library = "1.8.0" +aws-cryptography-internal-kms = "1.8.0" +aws-cryptography-internal-dynamodb = "1.8.0" +aws-cryptography-internal-primitives = "1.8.0" # Package testing diff --git a/AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs b/AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs index b36ccec99..d576718dd 100644 --- a/AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs +++ b/AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs @@ -3,4 +3,4 @@ [assembly: AssemblyTitle("AWS.Cryptography.Internal.AwsCryptographyPrimitives")] // This should be kept in sync with the version number in Crypto.csproj -[assembly: AssemblyVersion("1.7.3")] +[assembly: AssemblyVersion("1.8.0")] diff --git a/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj b/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj index 0e1adcabd..f6348d583 100644 --- a/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj +++ b/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj @@ -5,7 +5,7 @@ false true - 1.7.3 + 1.8.0 AWS.Cryptography.Internal.AwsCryptographyPrimitives AWS.Cryptography.Internal.AwsCryptographyPrimitives diff --git a/AwsCryptographyPrimitives/runtimes/python/pyproject.toml b/AwsCryptographyPrimitives/runtimes/python/pyproject.toml index d2bc3da0e..279d63d65 100644 --- a/AwsCryptographyPrimitives/runtimes/python/pyproject.toml +++ b/AwsCryptographyPrimitives/runtimes/python/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "aws-cryptography-internal-primitives" -version = "1.7.3" +version = "1.8.0" description = "" authors = ["AWS Crypto Tools "] packages = [ @@ -12,7 +12,7 @@ include = ["**/internaldafny/generated/*.py"] [tool.poetry.dependencies] python = "^3.11.0" -aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"} +aws-cryptography-internal-standard-library = "1.8.0" cryptography = "^43.0.1" # Package testing diff --git a/AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr b/AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr index 14d0303fa..603c44587 100644 --- a/AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr +++ b/AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr @@ -1,5 +1,5 @@ file_format_version = "1.0" -dafny_version = "4.8.1.0" +dafny_version = "4.8.0.0" [options_by_module.AwsCryptographyPrimitivesTypes] legacy-module-names = false python-module-name = "aws_cryptography_primitives.internaldafny.generated" diff --git a/CHANGELOG.md b/CHANGELOG.md index 1edd6d31f..6c9f3aeea 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,30 @@ # Changelog +# [1.8.0](https://github.com/aws/aws-cryptographic-material-providers-library/compare/v1.7.3...v1.8.0) (2024-11-06) + + +### Bug Fixes + +* CI ([831aeea](https://github.com/aws/aws-cryptographic-material-providers-library/commit/831aeea05adbdb839241b47f6c0ce3a7deb92e33)) +* Dafny verification ([1f4d8d7](https://github.com/aws/aws-cryptographic-material-providers-library/commit/1f4d8d7048ef140816aab6e4a3a744f8ec0cf4dc)) +* DDBv2 Model backwards compatbility with DBESDK 3.7 ([8a318a4](https://github.com/aws/aws-cryptographic-material-providers-library/commit/8a318a4fc42aeec675321a837c927dad355ad25d)) +* empty commit ([ffa34a5](https://github.com/aws/aws-cryptographic-material-providers-library/commit/ffa34a5e1a73b85e982b8564700c92214788233d)) +* formatting ([38aa3c3](https://github.com/aws/aws-cryptographic-material-providers-library/commit/38aa3c36abc1e877354f7d89f740e5c15301a04a)) +* Net Dafny Patch 2 file ([0d4f0f5](https://github.com/aws/aws-cryptographic-material-providers-library/commit/0d4f0f5ef3facdce1830731a8ef424ea9cb46eb0)) +* Net Dafny Patch file ([e77879b](https://github.com/aws/aws-cryptographic-material-providers-library/commit/e77879bfca0a95c652083171c9551062ac7cd01f)) +* Net Patch ([bf0a495](https://github.com/aws/aws-cryptographic-material-providers-library/commit/bf0a4954754522e55cb3bcb0c10d8525123486c5)) +* Polymorph Python ([18f0d48](https://github.com/aws/aws-cryptographic-material-providers-library/commit/18f0d481ef6500718328dbbb90e525ce934f04ad)) +* PR comments ([381e743](https://github.com/aws/aws-cryptographic-material-providers-library/commit/381e74322a0c9837f847b360b912b4e1235baab0)) +* python formating ([bb29950](https://github.com/aws/aws-cryptographic-material-providers-library/commit/bb29950e3b70ab23d9b79f8ec3f71ba968cb8e20)) +* **Python:** Support Python 3.13 ([#953](https://github.com/aws/aws-cryptographic-material-providers-library/issues/953)) ([000baed](https://github.com/aws/aws-cryptographic-material-providers-library/commit/000baedfab341670952449837541c88ea5cf1dba)) + + +### Features + +* ddbv2 net patch ([a36f799](https://github.com/aws/aws-cryptographic-material-providers-library/commit/a36f7997ea26befba0ce6090314d17d44d7596f5)) +* ddbv2 re-polymorph ([1357f42](https://github.com/aws/aws-cryptographic-material-providers-library/commit/1357f42dfd8f24dcefdc07e248911d54bec26f2a)) +* ddbv2 upgrade ([1584fbc](https://github.com/aws/aws-cryptographic-material-providers-library/commit/1584fbce54c69aaaace6935f5949e13d07613d3f)) + ## [1.7.3](https://github.com/aws/aws-cryptographic-material-providers-library/compare/v1.7.2...v1.7.3) (2024-10-31) This release is available in the following languages: diff --git a/ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs b/ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs index 5ccbbb03c..01d4ca84a 100644 --- a/ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs +++ b/ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs @@ -3,4 +3,4 @@ [assembly: AssemblyTitle("AWS.Cryptography.Internal.ComAmazonawsDynamodb")] // This should be kept in sync with the version number in ComAmazonawsDynamodb.csproj -[assembly: AssemblyVersion("1.7.3")] +[assembly: AssemblyVersion("1.8.0")] diff --git a/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj b/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj index a86d99ccb..823fc3f1f 100644 --- a/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj +++ b/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj @@ -5,7 +5,7 @@ false true - 1.7.3 + 1.8.0 AWS.Cryptography.Internal.ComAmazonawsDynamodb AWS.Cryptography.Internal.ComAmazonawsDynamodb diff --git a/ComAmazonawsDynamodb/runtimes/python/pyproject.toml b/ComAmazonawsDynamodb/runtimes/python/pyproject.toml index b4e04fb3f..c677e42da 100644 --- a/ComAmazonawsDynamodb/runtimes/python/pyproject.toml +++ b/ComAmazonawsDynamodb/runtimes/python/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "aws-cryptography-internal-dynamodb" -version = "1.7.3" +version = "1.8.0" description = "" authors = ["AWS Crypto Tools "] packages = [ @@ -13,7 +13,7 @@ include = ["**/internaldafny/generated/*.py"] [tool.poetry.dependencies] python = "^3.11.0" boto3 = "^1.35.42" -aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"} +aws-cryptography-internal-standard-library = "1.8.0" # Package testing diff --git a/ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr b/ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr index 566672500..c512ff4c0 100644 --- a/ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr +++ b/ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr @@ -1,5 +1,5 @@ file_format_version = "1.0" -dafny_version = "4.8.1.0" +dafny_version = "4.8.0.0" [options_by_module.ComAmazonawsDynamodbTypes] legacy-module-names = false python-module-name = "aws_cryptography_internal_dynamodb.internaldafny.generated" diff --git a/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj b/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj index 272427445..9e0a22f2f 100644 --- a/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj +++ b/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj @@ -5,7 +5,7 @@ false true - 1.7.3 + 1.8.0 AWS.Cryptography.Internal.ComAmazonawsKms AWS.Cryptography.Internal.ComAmazonawsKms diff --git a/ComAmazonawsKms/runtimes/net/AssemblyInfo.cs b/ComAmazonawsKms/runtimes/net/AssemblyInfo.cs index 3c8fbda6b..c79251e4d 100644 --- a/ComAmazonawsKms/runtimes/net/AssemblyInfo.cs +++ b/ComAmazonawsKms/runtimes/net/AssemblyInfo.cs @@ -3,4 +3,4 @@ [assembly: AssemblyTitle("AWS.Cryptography.Internal.ComAmazonawsKms")] // This should be kept in sync with the version number in AWS-KMS.csproj -[assembly: AssemblyVersion("1.7.3")] +[assembly: AssemblyVersion("1.8.0")] diff --git a/ComAmazonawsKms/runtimes/python/pyproject.toml b/ComAmazonawsKms/runtimes/python/pyproject.toml index 40f0caae8..3fc3b9936 100644 --- a/ComAmazonawsKms/runtimes/python/pyproject.toml +++ b/ComAmazonawsKms/runtimes/python/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "aws-cryptography-internal-kms" -version = "1.7.3" +version = "1.8.0" description = "" authors = ["AWS Crypto Tools "] packages = [ @@ -13,7 +13,7 @@ include = ["**/internaldafny/generated/*.py"] [tool.poetry.dependencies] python = "^3.11.0" boto3 = "^1.35.42" -aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"} +aws-cryptography-internal-standard-library = "1.8.0" # Package testing diff --git a/ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr b/ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr index ccf35f9a1..17f4d6fd5 100644 --- a/ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr +++ b/ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr @@ -1,5 +1,5 @@ file_format_version = "1.0" -dafny_version = "4.8.1.0" +dafny_version = "4.8.0.0" [options_by_module.ComAmazonawsKmsTypes] legacy-module-names = false python-module-name = "aws_cryptography_internal_kms.internaldafny.generated" diff --git a/StandardLibrary/runtimes/net/AssemblyInfo.cs b/StandardLibrary/runtimes/net/AssemblyInfo.cs index 1263336ed..61b75b1f6 100644 --- a/StandardLibrary/runtimes/net/AssemblyInfo.cs +++ b/StandardLibrary/runtimes/net/AssemblyInfo.cs @@ -3,4 +3,4 @@ [assembly: AssemblyTitle("AWS.Cryptography.Internal.StandardLibrary")] // This should be kept in sync with the version number in STD.csproj -[assembly: AssemblyVersion("1.7.3")] +[assembly: AssemblyVersion("1.8.0")] diff --git a/StandardLibrary/runtimes/net/STD.csproj b/StandardLibrary/runtimes/net/STD.csproj index a141f4ca1..22a34f9c3 100644 --- a/StandardLibrary/runtimes/net/STD.csproj +++ b/StandardLibrary/runtimes/net/STD.csproj @@ -5,7 +5,7 @@ false true - 1.7.3 + 1.8.0 AWS.Cryptography.Internal.StandardLibrary AWS.Cryptography.Internal.StandardLibrary diff --git a/StandardLibrary/runtimes/python/pyproject.toml b/StandardLibrary/runtimes/python/pyproject.toml index e4234ec4b..0f19170f1 100644 --- a/StandardLibrary/runtimes/python/pyproject.toml +++ b/StandardLibrary/runtimes/python/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "aws-cryptography-internal-standard-library" -version = "1.7.3" +version = "1.8.0" description = "" authors = ["AWS Crypto Tools "] packages = [ diff --git a/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr b/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr index 45c157e6f..710d07681 100644 --- a/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr +++ b/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr @@ -1,5 +1,5 @@ file_format_version = "1.0" -dafny_version = "4.8.1.0" +dafny_version = "4.8.0.0" [options_by_module.Wrappers] legacy-module-names = false python-module-name = "smithy_dafny_standard_library.internaldafny.generated" diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts b/TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts index 890d61ede..85966fc1c 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts @@ -20,7 +20,7 @@ var props = Properties().apply { var dafnyVersion = props.getProperty("dafnyVersion") group = "software.amazon.cryptography" -version = "1.7.3-SNAPSHOT" +version = "1.8.0" description = "TestAwsCryptographicMaterialProviders" java { diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr b/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr index 9834541b5..b59cf4040 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr @@ -1,5 +1,5 @@ file_format_version = "1.0" -dafny_version = "4.8.1.0" +dafny_version = "4.8.0.0" [options_by_module.MplManifestOptions] legacy-module-names = false python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr b/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr index 8f383e665..daf2aeba5 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr @@ -1,4 +1,4 @@ file_format_version = "1.0" -dafny_version = "4.8.1.0" +dafny_version = "4.8.0.0" [options_by_module.TestWrappedMaterialProvidersMain] legacy-module-names = false