[submodule "deps/covsrv"] path = deps/covsrv url = https://metanimi.dy.fi/cgit/covsrv