File tree Expand file tree Collapse file tree
ComAmazonawsDynamodb/runtimes Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -8,7 +8,7 @@ require (
88 github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0-00010101000000-000000000000
99 github.com/aws/aws-sdk-go-v2/service/dynamodb v1.35.1
1010 github.com/aws/smithy-go v1.21.0
11- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
11+ github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0
1212)
1313
1414require (
Original file line number Diff line number Diff line change @@ -28,8 +28,8 @@ github.com/aws/aws-sdk-go-v2/service/sts v1.31.1 h1:8K0UNOkZiK9Uh3HIF6Bx0rcNCftq
2828github.1485827954.workers.dev/aws/aws-sdk-go-v2/service/sts v1.31.1 /go.mod h1:yMWe0F+XG0DkRZK5ODZhG7BEFYhLXi2dqGsv6tX0cgI =
2929github.1485827954.workers.dev/aws/smithy-go v1.21.0 h1:H7L8dtDRk0P1Qm6y0ji7MCYMQObJ5R9CRpyPhRUkLYA =
3030github.1485827954.workers.dev/aws/smithy-go v1.21.0 /go.mod h1:irrKGvNn1InZwb2d7fkIRNucdfwR8R+Ts3wxYa/cJHg =
31- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 h1:dOgaw3i0I9nWKPjfXYzEfgWsVRJykL6FA18DErvQiJQ =
32- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 /go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto =
31+ github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0 h1:ttdCpTQKspK9A/tqE1qnipvjp9IrURS1kC2w47we6GM =
32+ github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0 /go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto =
3333github.1485827954.workers.dev/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8 =
3434github.1485827954.workers.dev/davecgh/go-spew v1.1.0 /go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38 =
3535github.1485827954.workers.dev/jmespath/go-jmespath v0.4.0 h1:BEgLn5cpjn8UN1mAw4NjwDrS35OdebyEtFe+9YPoQUg =
Original file line number Diff line number Diff line change 1+ [tool .poetry ]
2+ name = " aws-cryptography-internal-dynamodb"
3+ version = " 1.8.0"
4+ description = " "
5+ authors = [" AWS Crypto Tools <aws-crypto-tools@amazon.com>" ]
6+ packages = [
7+ { include = " aws_cryptography_internal_dynamodb" , from = " src" }
8+ ]
9+ # Include generated internaldafny files in package distributions,
10+ # even though they are not included in version control
11+ include = [" **/internaldafny/generated/*.py" ]
12+
13+ [tool .poetry .dependencies ]
14+ python = " ^3.11.0"
15+ boto3 = " ^1.35.42"
16+ aws-cryptography-internal-standard-library = {path = " ../../../StandardLibrary/runtimes/python" }
17+ # Package testing
18+
19+ [tool .poetry .group .test ]
20+ optional = true
21+
22+ [tool .poetry .group .test .dependencies ]
23+ pytest = " ^7.4.0"
24+
25+ # Package release
26+
27+ [tool .poetry .group .release ]
28+ optional = true
29+
30+ [tool .poetry .group .release .dependencies ]
31+ poetry = " 1.8.3"
32+ twine = " 5.1.1"
33+ wheel = " 0.38.4"
34+
35+ [build-system ]
36+ requires = [" poetry-core" ]
37+ build-backend = " poetry.core.masonry.api"
You can’t perform that action at this time.
0 commit comments