forked from MinaProtocol/mina
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitmodules
24 lines (24 loc) · 961 Bytes
/
.gitmodules
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
[submodule "src/lib/snarky"]
path = src/lib/snarky
url = https://github.com/o1-labs/snarky
[submodule "src/external/ppx_optcomp"]
path = src/external/ppx_optcomp
url = https://github.com/CodaProtocol/ppx_optcomp
[submodule "src/external/async_kernel"]
path = src/external/async_kernel
url = https://github.com/CodaProtocol/async_kernel
[submodule "src/external/ocaml-extlib"]
path = src/external/ocaml-extlib
url = https://github.com/CodaProtocol/ocaml-extlib.git
[submodule "src/external/rpc_parallel"]
path = src/external/rpc_parallel
url = https://github.com/CodaProtocol/rpc_parallel.git
[submodule "src/external/digestif"]
path = src/external/digestif
url = https://github.com/CodaProtocol/digestif.git
[submodule "frontend/wallet/tablecloth"]
path = frontend/wallet/tablecloth
url = https://github.com/bkase/tablecloth
[submodule "src/external/graphql_ppx"]
path = src/external/graphql_ppx
url = https://github.com/o1-labs/graphql_ppx.git