Go mod changes

Author: rishav-karanjit

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

@@ -15,7 +15,7 @@ require (
 	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0
 	github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0
 	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.1.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library 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

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

@@ -12,10 +12,10 @@ replace (
 )
 
 require (
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.1.0
-	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-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.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

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

@@ -13,11 +13,11 @@ replace (
 )
 
 require (
-	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-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 	github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.0.0
 	github.com/aws/aws-database-encryption-sdk-dynamodb v0.0.0
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2

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

@@ -14,11 +14,11 @@ replace (
 )
 
 require (
-	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-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 	github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.0.0
 	github.com/aws/aws-database-encryption-sdk-dynamodb v0.0.0
 	github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors v0.0.0