mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 09:50:35 +03:00
10 lines
332 B
Plaintext
10 lines
332 B
Plaintext
[submodule "examples/cryptol-specs"]
|
|
path = examples/cryptol-specs
|
|
url = https://github.com/GaloisInc/cryptol-specs.git
|
|
[submodule "deps/argo"]
|
|
path = deps/argo
|
|
url = https://github.com/galoisinc/argo
|
|
[submodule "examples/suiteb-ffi/tiny-AES-c"]
|
|
path = examples/suiteb-ffi/tiny-AES-c
|
|
url = https://github.com/kokke/tiny-AES-c
|