Skip to content

Commit 882727e

Browse files
rishav-karanjitrishav-karanjit
committed
Go mod changes
1 parent 7062a5c commit 882727e

File tree

4 files changed

+15
-15
lines changed
  • DynamoDbEncryption/runtimes/go
  • TestVectors/runtimes/go

4 files changed

+15
-15
lines changed

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/go.mod

+1-1
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ require (
1515
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0
1616
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0
1717
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0
18-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.1.0
18+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
1919
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
2020
github.com/aws/smithy-go v1.22.1
2121
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2

‎DynamoDbEncryption/runtimes/go/TestsFromDafny-go/go.mod

+4-4
Original file line numberDiff line numberDiff line change
@@ -12,10 +12,10 @@ replace (
1212
)
1313

1414
require (
15-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.1.0
16-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.1.0
17-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.1
18-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.1.0
15+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0
16+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0
17+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0
18+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
1919
github.com/aws/aws-database-encryption-sdk-dynamodb v0.0.0
2020
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
2121
github.com/aws/smithy-go v1.22.1

‎TestVectors/runtimes/go/ImplementationFromDafny-go/go.mod

+5-5
Original file line numberDiff line numberDiff line change
@@ -13,11 +13,11 @@ replace (
1313
)
1414

1515
require (
16-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.1.0
17-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.1
18-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.1.0
19-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.1
20-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.1.0
16+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0
17+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0
18+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0
19+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0
20+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
2121
github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.0.0
2222
github.com/aws/aws-database-encryption-sdk-dynamodb v0.0.0
2323
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2

‎TestVectors/runtimes/go/TestsFromDafny-go/go.mod

+5-5
Original file line numberDiff line numberDiff line change
@@ -14,11 +14,11 @@ replace (
1414
)
1515

1616
require (
17-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.1.0
18-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.1
19-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.1.0
20-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.1
21-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.1.0
17+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0
18+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0
19+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0
20+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0
21+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
2222
github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.0.0
2323
github.com/aws/aws-database-encryption-sdk-dynamodb v0.0.0
2424
github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors v0.0.0

0 commit comments

Comments
 (0)