diff --git a/srcfiles/src b/srcfiles/src index 9d613f9..b43bb8e 100644 --- a/srcfiles/src +++ b/srcfiles/src @@ -211,6 +211,8 @@ git https://github.com/encryptogroup/linearPFE linearPFE git https://github.com/encryptogroup/MOTION MOTION git https://github.com/microsoft/SEAL SEAL git https://github.com/Luukdegram/pit pit +git https://github.com/alastairreid/mra_tools mra_tools +git https://github.com/bytecodealliance/wasmtime wasmtime # My own projects git git@github.com:ziglibs/lscolors zig-lscolors