From c60282fef16cea3f1878c1162f5524d4b2ef405a Mon Sep 17 00:00:00 2001 From: JBA Date: Tue, 17 Dec 2024 17:24:13 +0000 Subject: [PATCH] fix specs --- .gitmodules | 5 +---- crypto-specs | 2 +- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/.gitmodules b/.gitmodules index 583d8a8d..ebdc2da8 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,12 +1,9 @@ [submodule "jasmin"] path = jasmin url = https://github.com/jasmin-lang/jasmin.git -[submodule "sha3"] - path = sha3 - url = https://gitlab.com/easycrypt/sha3.git [submodule "crypto-specs"] path = crypto-specs - url = https://github.com/formosa-crypto/crypto-specs + url = git@github.com:formosa-crypto/crypto-specs.git [submodule "formosa-keccak"] path = formosa-keccak url = git@github.com:formosa-crypto/formosa-keccak.git diff --git a/crypto-specs b/crypto-specs index cb4aa8fb..efef0598 160000 --- a/crypto-specs +++ b/crypto-specs @@ -1 +1 @@ -Subproject commit cb4aa8fb883eb084aab429f914fd6c5e1de575b9 +Subproject commit efef05980197876319253237cc1355fb80782e5c