github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library@v0.2.0/go.mod (about) 1 module github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library 2 3 go 1.23.0 4 5 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 6 7 require github.com/google/uuid v1.6.0