Skip to content

Commit df37a70

Browse files
seebeessemantic-release-bot
seebees
and
semantic-release-bot
authored
chore(release): 1.7.6 [skip ci] (#1636)
Co-authored-by: semantic-release-bot <[email protected]>
1 parent 60e46cd commit df37a70

File tree

25 files changed

+242
-31
lines changed

25 files changed

+242
-31
lines changed

‎AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ var props = Properties().apply {
1818
var dafnyVersion = props.getProperty("dafnyVersion")
1919

2020
group = "software.amazon.cryptography"
21-
version = "1.7.5-SNAPSHOT"
21+
version = "1.7.6"
2222
description = "AWS Cryptographic Material Providers Library"
2323

2424
java {

‎AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,4 +3,4 @@
33
[assembly: AssemblyTitle("AWS.Cryptography.MaterialProviders")]
44

55
// This should be kept in sync with the version number in MPL.csproj
6-
[assembly: AssemblyVersion("1.7.5")]
6+
[assembly: AssemblyVersion("1.7.6")]

‎AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<GenerateAssemblyInfo>false</GenerateAssemblyInfo>
66
<IsPackable>true</IsPackable>
77

8-
<Version>1.7.5</Version>
8+
<Version>1.7.6</Version>
99

1010
<AssemblyName>AWS.Cryptography.MaterialProviders</AssemblyName>
1111
<PackageId>AWS.Cryptography.MaterialProviders</PackageId>

‎AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[tool.poetry]
22
name = "aws-cryptographic-material-providers"
3-
version = "1.8.0"
3+
version = "1.7.6"
44
description = "AWS Cryptographic Material Providers Library for Python"
55
authors = ["AWS Crypto Tools <[email protected]>"]
66
packages = [
@@ -13,10 +13,10 @@ readme = "README.rst"
1313

1414
[tool.poetry.dependencies]
1515
python = "^3.11.0"
16-
aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
17-
aws-cryptography-internal-kms = {path = "../../../ComAmazonawsKms/runtimes/python"}
18-
aws-cryptography-internal-dynamodb = {path = "../../../ComAmazonawsDynamodb/runtimes/python"}
19-
aws-cryptography-internal-primitives = {path = "../../../AwsCryptographyPrimitives/runtimes/python"}
16+
aws-cryptography-internal-standard-library = "1.7.6"
17+
aws-cryptography-internal-kms = "1.7.6"
18+
aws-cryptography-internal-dynamodb = "1.7.6"
19+
aws-cryptography-internal-primitives = "1.7.6"
2020

2121
# Package testing
2222

‎AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr‎

Lines changed: 60 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,179 +1,238 @@
11
file_format_version = "1.0"
2-
dafny_version = "4.9.0.0"
2+
dafny_version = "4.10.0.0"
33
[options_by_module.AwsCryptographyKeyStoreTypes]
44
legacy-module-names = false
55
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
6+
rust-sync = false
67
[options_by_module.AbstractAwsCryptographyKeyStoreOperations]
78
legacy-module-names = false
89
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
10+
rust-sync = false
911
[options_by_module.AbstractAwsCryptographyKeyStoreService]
1012
legacy-module-names = false
1113
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
14+
rust-sync = false
1215
[options_by_module.AwsCryptographyMaterialProvidersTypes]
1316
legacy-module-names = false
1417
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
18+
rust-sync = false
1519
[options_by_module.AwsArnParsing]
1620
legacy-module-names = false
1721
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
22+
rust-sync = false
1823
[options_by_module.AwsKmsMrkMatchForDecrypt]
1924
legacy-module-names = false
2025
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
26+
rust-sync = false
2127
[options_by_module.AwsKmsUtils]
2228
legacy-module-names = false
2329
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
30+
rust-sync = false
2431
[options_by_module.KeyStoreErrorMessages]
2532
legacy-module-names = false
2633
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
34+
rust-sync = false
2735
[options_by_module.KmsArn]
2836
legacy-module-names = false
2937
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
38+
rust-sync = false
3039
[options_by_module.Structure]
3140
legacy-module-names = false
3241
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
42+
rust-sync = false
3343
[options_by_module.KMSKeystoreOperations]
3444
legacy-module-names = false
3545
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
46+
rust-sync = false
3647
[options_by_module.DDBKeystoreOperations]
3748
legacy-module-names = false
3849
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
50+
rust-sync = false
3951
[options_by_module.CreateKeys]
4052
legacy-module-names = false
4153
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
54+
rust-sync = false
4255
[options_by_module.CreateKeyStoreTable]
4356
legacy-module-names = false
4457
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
58+
rust-sync = false
4559
[options_by_module.GetKeys]
4660
legacy-module-names = false
4761
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
62+
rust-sync = false
4863
[options_by_module.AwsCryptographyKeyStoreOperations]
4964
legacy-module-names = false
5065
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
66+
rust-sync = false
5167
[options_by_module.KeyStore]
5268
legacy-module-names = false
5369
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
70+
rust-sync = false
5471
[options_by_module.AbstractAwsCryptographyMaterialProvidersOperations]
5572
legacy-module-names = false
5673
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
74+
rust-sync = false
5775
[options_by_module.AbstractAwsCryptographyMaterialProvidersService]
5876
legacy-module-names = false
5977
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
78+
rust-sync = false
6079
[options_by_module.AlgorithmSuites]
6180
legacy-module-names = false
6281
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
82+
rust-sync = false
6383
[options_by_module.Materials]
6484
legacy-module-names = false
6585
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
86+
rust-sync = false
6687
[options_by_module.Keyring]
6788
legacy-module-names = false
6889
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
90+
rust-sync = false
6991
[options_by_module.MultiKeyring]
7092
legacy-module-names = false
7193
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
94+
rust-sync = false
7295
[options_by_module.AwsKmsMrkAreUnique]
7396
legacy-module-names = false
7497
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
98+
rust-sync = false
7599
[options_by_module.Constants]
76100
legacy-module-names = false
77101
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
102+
rust-sync = false
78103
[options_by_module.MaterialWrapping]
79104
legacy-module-names = false
80105
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
106+
rust-sync = false
81107
[options_by_module.CanonicalEncryptionContext]
82108
legacy-module-names = false
83109
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
110+
rust-sync = false
84111
[options_by_module.IntermediateKeyWrapping]
85112
legacy-module-names = false
86113
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
114+
rust-sync = false
87115
[options_by_module.EdkWrapping]
88116
legacy-module-names = false
89117
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
118+
rust-sync = false
90119
[options_by_module.ErrorMessages]
91120
legacy-module-names = false
92121
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
122+
rust-sync = false
93123
[options_by_module.AwsKmsKeyring]
94124
legacy-module-names = false
95125
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
126+
rust-sync = false
96127
[options_by_module.StrictMultiKeyring]
97128
legacy-module-names = false
98129
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
130+
rust-sync = false
99131
[options_by_module.AwsKmsDiscoveryKeyring]
100132
legacy-module-names = false
101133
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
134+
rust-sync = false
102135
[options_by_module.DiscoveryMultiKeyring]
103136
legacy-module-names = false
104137
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
138+
rust-sync = false
105139
[options_by_module.AwsKmsMrkDiscoveryKeyring]
106140
legacy-module-names = false
107141
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
142+
rust-sync = false
108143
[options_by_module.MrkAwareDiscoveryMultiKeyring]
109144
legacy-module-names = false
110145
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
146+
rust-sync = false
111147
[options_by_module.AwsKmsMrkKeyring]
112148
legacy-module-names = false
113149
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
150+
rust-sync = false
114151
[options_by_module.MrkAwareStrictMultiKeyring]
115152
legacy-module-names = false
116153
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
154+
rust-sync = false
117155
[options_by_module.LocalCMC]
118156
legacy-module-names = false
119157
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
158+
rust-sync = false
120159
[options_by_module.SynchronizedLocalCMC]
121160
legacy-module-names = false
122161
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
162+
rust-sync = false
123163
[options_by_module.StormTracker]
124164
legacy-module-names = false
125165
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
166+
rust-sync = false
126167
[options_by_module.StormTrackingCMC]
127168
legacy-module-names = false
128169
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
170+
rust-sync = false
129171
[options_by_module.CacheConstants]
130172
legacy-module-names = false
131173
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
174+
rust-sync = false
132175
[options_by_module.AwsKmsHierarchicalKeyring]
133176
legacy-module-names = false
134177
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
178+
rust-sync = false
135179
[options_by_module.AwsKmsRsaKeyring]
136180
legacy-module-names = false
137181
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
182+
rust-sync = false
138183
[options_by_module.EcdhEdkWrapping]
139184
legacy-module-names = false
140185
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
186+
rust-sync = false
141187
[options_by_module.RawECDHKeyring]
142188
legacy-module-names = false
143189
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
190+
rust-sync = false
144191
[options_by_module.AwsKmsEcdhKeyring]
145192
legacy-module-names = false
146193
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
194+
rust-sync = false
147195
[options_by_module.RawAESKeyring]
148196
legacy-module-names = false
149197
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
198+
rust-sync = false
150199
[options_by_module.RawRSAKeyring]
151200
legacy-module-names = false
152201
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
202+
rust-sync = false
153203
[options_by_module.CMM]
154204
legacy-module-names = false
155205
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
206+
rust-sync = false
156207
[options_by_module.Defaults]
157208
legacy-module-names = false
158209
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
210+
rust-sync = false
159211
[options_by_module.Commitment]
160212
legacy-module-names = false
161213
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
214+
rust-sync = false
162215
[options_by_module.DefaultCMM]
163216
legacy-module-names = false
164217
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
218+
rust-sync = false
165219
[options_by_module.DefaultClientSupplier]
166220
legacy-module-names = false
167221
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
222+
rust-sync = false
168223
[options_by_module.Utils]
169224
legacy-module-names = false
170225
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
226+
rust-sync = false
171227
[options_by_module.RequiredEncryptionContextCMM]
172228
legacy-module-names = false
173229
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
230+
rust-sync = false
174231
[options_by_module.AwsCryptographyMaterialProvidersOperations]
175232
legacy-module-names = false
176233
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
234+
rust-sync = false
177235
[options_by_module.MaterialProviders]
178236
legacy-module-names = false
179237
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
238+
rust-sync = false

‎AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,4 +3,4 @@
33
[assembly: AssemblyTitle("AWS.Cryptography.Internal.AwsCryptographyPrimitives")]
44

55
// This should be kept in sync with the version number in Crypto.csproj
6-
[assembly: AssemblyVersion("1.7.5")]
6+
[assembly: AssemblyVersion("1.7.6")]

‎AwsCryptographyPrimitives/runtimes/net/Crypto.csproj‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<GenerateAssemblyInfo>false</GenerateAssemblyInfo>
66
<IsPackable>true</IsPackable>
77

8-
<Version>1.7.5</Version>
8+
<Version>1.7.6</Version>
99

1010
<AssemblyName>AWS.Cryptography.Internal.AwsCryptographyPrimitives</AssemblyName>
1111
<PackageId>AWS.Cryptography.Internal.AwsCryptographyPrimitives</PackageId>

‎AwsCryptographyPrimitives/runtimes/python/pyproject.toml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[tool.poetry]
22
name = "aws-cryptography-internal-primitives"
3-
version = "1.8.0"
3+
version = "1.7.6"
44
description = ""
55
authors = ["AWS Crypto Tools <[email protected]>"]
66
packages = [
@@ -12,7 +12,7 @@ include = ["**/internaldafny/generated/*.py"]
1212

1313
[tool.poetry.dependencies]
1414
python = "^3.11.0"
15-
aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
15+
aws-cryptography-internal-standard-library = "1.7.6"
1616
cryptography = "^43.0.1"
1717

1818
# Package testing

‎AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr‎

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,59 +1,78 @@
11
file_format_version = "1.0"
2-
dafny_version = "4.9.0.0"
2+
dafny_version = "4.10.0.0"
33
[options_by_module.AwsCryptographyPrimitivesTypes]
44
legacy-module-names = false
55
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
6+
rust-sync = false
67
[options_by_module.AbstractAwsCryptographyPrimitivesOperations]
78
legacy-module-names = false
89
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
10+
rust-sync = false
911
[options_by_module.AbstractAwsCryptographyPrimitivesService]
1012
legacy-module-names = false
1113
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
14+
rust-sync = false
1215
[options_by_module.ExternRandom]
1316
legacy-module-names = false
1417
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
18+
rust-sync = false
1519
[options_by_module.Random]
1620
legacy-module-names = false
1721
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
22+
rust-sync = false
1823
[options_by_module.AESEncryption]
1924
legacy-module-names = false
2025
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
26+
rust-sync = false
2127
[options_by_module.ExternDigest]
2228
legacy-module-names = false
2329
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
30+
rust-sync = false
2431
[options_by_module.Digest]
2532
legacy-module-names = false
2633
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
34+
rust-sync = false
2735
[options_by_module.HMAC]
2836
legacy-module-names = false
2937
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
38+
rust-sync = false
3039
[options_by_module.WrappedHMAC]
3140
legacy-module-names = false
3241
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
42+
rust-sync = false
3343
[options_by_module.HKDF]
3444
legacy-module-names = false
3545
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
46+
rust-sync = false
3647
[options_by_module.WrappedHKDF]
3748
legacy-module-names = false
3849
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
50+
rust-sync = false
3951
[options_by_module.Signature]
4052
legacy-module-names = false
4153
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
54+
rust-sync = false
4255
[options_by_module.KdfCtr]
4356
legacy-module-names = false
4457
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
58+
rust-sync = false
4559
[options_by_module.RSAEncryption]
4660
legacy-module-names = false
4761
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
62+
rust-sync = false
4863
[options_by_module.ECDH]
4964
legacy-module-names = false
5065
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
66+
rust-sync = false
5167
[options_by_module.AwsCryptographyPrimitivesOperations]
5268
legacy-module-names = false
5369
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
70+
rust-sync = false
5471
[options_by_module.AtomicPrimitives]
5572
legacy-module-names = false
5673
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
74+
rust-sync = false
5775
[options_by_module.AesKdfCtr]
5876
legacy-module-names = false
5977
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
78+
rust-sync = false

0 commit comments

Comments
 (0)