-
Notifications
You must be signed in to change notification settings - Fork 19
/
.gitmodules
16 lines (16 loc) · 857 Bytes
/
.gitmodules
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 "mpl"]
path = mpl
url = https://github.com/aws/aws-cryptographic-material-providers-library-dafny.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