From c6964b23153eb9a119d827252a10d91c24e30226 Mon Sep 17 00:00:00 2001 From: joachimschmidt557 Date: Fri, 29 Jan 2021 11:14:14 +0100 Subject: [PATCH] update --- srcfiles/src | 2 ++ 1 file changed, 2 insertions(+) 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