auto commit

Author: rishav-karanjit

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

@@ -3,31 +3,25 @@ module github.com/aws/aws-database-encryption-sdk-dynamodb
 go 1.23.2
 
 replace (
-	github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0 => ../../../../submodules/MaterialProviders/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 => ../../../../submodules/MaterialProviders/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0 => ../../../../submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 => ../../../../submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../submodules/MaterialProviders/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../submodules/MaterialProviders/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 => ../../../../submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
 	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../submodules/MaterialProviders/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
 )
 
 require (
-	github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0
-	github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0
-	github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0
-	github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0
 	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.1.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.1
 	github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.1.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.1
 	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.1.0
-	github.com/aws/aws-database-encryption-sdk-dynamodb v0.0.0
 	github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
 	github.com/aws/smithy-go v1.22.1
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 )
 
 require (
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.1 // indirect
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.1 // indirect
 	github.com/aws/aws-sdk-go-v2 v1.32.8 // indirect
 	github.com/aws/aws-sdk-go-v2/config v1.28.10 // indirect
 	github.com/aws/aws-sdk-go-v2/credentials v1.17.51 // indirect