feat: Go StdLib release (#759)

* feat: Go StdLib release * feat: Go StdLib release --------- Co-authored-by: Shubham Chaturvedi <[email protected]>
smithy-lang · Jan 10, 2025 · 84523f4 · 84523f4
1 parent 3540436
commit 84523f4
Show file tree

Hide file tree

Showing 77 changed files with 140 additions and 151 deletions.
diff --git a/TestModels/Aggregate/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Aggregate/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Aggregate
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Aggregate/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Aggregate/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,12 +2,12 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Aggregate/test
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
 	github.com/smithy-lang/smithy-dafny/TestModels/Aggregate v0.0.0
 )
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/Aggregate v0.0.0 => ../ImplementationFromDafny-go
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -5,7 +5,7 @@ go 1.23.0
 require (
 	github.com/aws/smithy-go v1.22.0
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
-	github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 	github.com/smithy-lang/smithy-dafny/ddbv2 v0.0.0
 	github.com/smithy-lang/smithy-dafny/kmsv2 v0.0.0
 )
@@ -29,7 +29,7 @@ require (
 	github.com/jmespath/go-jmespath v0.4.0 // indirect
 )
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
 
 replace github.com/smithy-lang/smithy-dafny/kmsv2 => ../../../../aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/
 

diff --git a/TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/CallingAWSSDKFromLocalServ
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require (
 	github.com/aws/aws-sdk-go-v2/service/dynamodb v1.34.9
@@ -33,7 +33,7 @@ require (
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/CallingAWSSDKFromLocalService v0.0.0 => ../ImplementationFromDafny-go
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
 
 replace github.com/smithy-lang/smithy-dafny/kmsv2 => ../../../../aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/
 

diff --git a/TestModels/CodegenPatches/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/CodegenPatches/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/...s/CodegenPatches/runtimes/go/TestsFromDafny-go/WrappedSimpleCodegenPatchesService/shim.go b/...s/CodegenPatches/runtimes/go/TestsFromDafny-go/WrappedSimpleCodegenPatchesService/shim.go
diff --git a/TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,12 +2,12 @@ module github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches/test
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
 	github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches v0.0.0
 )
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches v0.0.0 => ../ImplementationFromDafny-go
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Constraints/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Constraints/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -4,7 +4,7 @@ go 1.23.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
-	github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 )
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Constraints/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Constraints/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Constraints/test
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
@@ -11,4 +11,4 @@ require (
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0 => ../ImplementationFromDafny-go
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Constructor/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Constructor/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Constructor
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Constructor/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Constructor/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Constructor/test
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
@@ -11,4 +11,4 @@ require (
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/Constructor v0.0.0 => ../ImplementationFromDafny-go
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Dependencies/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Dependencies/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Dependencies
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0
 
@@ -15,7 +15,7 @@ require (
 	github.com/smithy-lang/smithy-dafny/TestModels/Errors v0.0.0
 )
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0 => ../../../../Constraints/runtimes/go/ImplementationFromDafny-go
 

diff --git a/TestModels/Dependencies/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Dependencies/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Dependencies/test
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0
 
@@ -20,7 +20,7 @@ require (
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/Dependencies v0.0.0 => ../ImplementationFromDafny-go
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0 => ../../../../Constraints/runtimes/go/ImplementationFromDafny-go
 

diff --git a/TestModels/Errors/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Errors/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -4,7 +4,7 @@ go 1.23.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
-	github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 )
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Errors/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Errors/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,12 +2,12 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Errors/test
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
 	github.com/smithy-lang/smithy-dafny/TestModels/Errors v0.0.0
 )
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/Errors v0.0.0 => ../ImplementationFromDafny-go
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Extendable/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Extendable/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -4,7 +4,7 @@ go 1.23.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
-	github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 )
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Extendable/runtimes/go/TestsFromDafny-go/WrappedSimpleExtendableResources/shim.go b/TestModels/Extendable/runtimes/go/TestsFromDafny-go/WrappedSimpleExtendableResources/shim.go
diff --git a/TestModels/Extendable/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Extendable/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Extendable/test
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
@@ -11,4 +11,4 @@ require (
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/Extendable v0.0.0 => ../ImplementationFromDafny-go
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/ExternConstructor/extern.go b/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/ExternConstructor/extern.go
@@ -3,8 +3,8 @@ package ExternConstructor
 import (
 	"fmt"
 
+	"github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers"
 	"github.com/dafny-lang/DafnyRuntimeGo/v4/dafny"
-	"github.com/dafny-lang/DafnyStandardLibGo/Wrappers"
 	"github.com/smithy-lang/smithy-dafny/TestModels/Extern/SimpleDafnyExternTypes"
 )
 

diff --git a/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/SimpleExternImpl/extern.go b/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/SimpleExternImpl/extern.go
@@ -1,7 +1,7 @@
 package SimpleExternImpl
 
 import (
-	"github.com/dafny-lang/DafnyStandardLibGo/Wrappers"
+	"github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers"
 	"github.com/smithy-lang/smithy-dafny/TestModels/Extern/SimpleDafnyExternTypes"
 )
 

diff --git a/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -4,7 +4,7 @@ go 1.23.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
-	github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 )
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Extern/runtimes/go/TestsFromDafny-go/WrappedSimpleExternService/shim.go b/TestModels/Extern/runtimes/go/TestsFromDafny-go/WrappedSimpleExternService/shim.go
diff --git a/TestModels/Extern/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Extern/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Extern/test
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
@@ -11,4 +11,4 @@ require (
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/Extern v0.0.0 => ../ImplementationFromDafny-go
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/LocalService/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/LocalService/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/LocalService
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/LocalService/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/LocalService/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,12 +2,12 @@ module github.com/smithy-lang/smithy-dafny/TestModels/LocalService/test
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
 	github.com/smithy-lang/smithy-dafny/TestModels/LocalService v0.0.0
 )
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/LocalService v0.0.0 => ../ImplementationFromDafny-go
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Positional/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Positional/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -4,7 +4,7 @@ go 1.23.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
-	github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 )
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Positional/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Positional/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Positional/test
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require (
 	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
@@ -11,4 +11,4 @@ require (
 
 replace github.com/smithy-lang/smithy-dafny/TestModels/Positional v0.0.0 => ../ImplementationFromDafny-go
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/RecursiveShape/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/RecursiveShape/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/RecursiveShape
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
 
 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
 
-replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/