-
Notifications
You must be signed in to change notification settings - Fork 26
Expand file tree
/
Copy path.gitmodules
More file actions
16 lines (16 loc) · 856 Bytes
/
.gitmodules
File metadata and controls
16 lines (16 loc) · 856 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
[submodule "libraries"]
path = libraries
url = https://github.com/dafny-lang/libraries.git
branch = mutable_map
[submodule "aws-encryption-sdk-specification"]
path = aws-encryption-sdk-specification
url = https://github.com/awslabs/aws-encryption-sdk-specification.git
[submodule "AwsEncryptionSDK/runtimes/net/TestVectorsV3/TestVectors/resources/aws-encryption-sdk-test-vectors"]
path = AwsEncryptionSDK/runtimes/net/TestVectorsV3/TestVectors/resources/aws-encryption-sdk-test-vectors
url = https://github.com/awslabs/aws-encryption-sdk-test-vectors.git
[submodule "TestVectors/aws-encryption-sdk-test-vectors"]
path = TestVectors/aws-encryption-sdk-test-vectors
url = https://github.com/awslabs/aws-encryption-sdk-test-vectors.git
[submodule "mpl"]
path = mpl
url = https://github.com/aws/aws-cryptographic-material-providers-library-dafny.git