forked from FStarLang/FStar
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.gitmodules
More file actions
20 lines (20 loc) · 706 Bytes
/
.gitmodules
File metadata and controls
20 lines (20 loc) · 706 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
[submodule "src/support/ocaml/3rdparty/ocaml-nocrypto"]
path = src/support/ocaml/3rdparty/ocaml-nocrypto
url = https://github.com/mirleft/ocaml-nocrypto.git
branch = master
ignore = dirty
[submodule "src/support/ocaml/3rdparty/ocaml-asn1-combinators"]
path = src/support/ocaml/3rdparty/ocaml-asn1-combinators
url = https://github.com/mirleft/ocaml-asn1-combinators.git
branch = master
ignore = dirty
[submodule "src/support/ocaml/3rdparty/ocaml-x509"]
path = src/support/ocaml/3rdparty/ocaml-x509
url = https://github.com/mirleft/ocaml-x509.git
branch = master
ignore = dirty
[submodule "3rdparty"]
path = 3rdparty
url = https://github.com/FStarLang/3rdparty
branch = master
ignore = dirty