"theories/algebra/auth.v" did not exist on "f72340bcaf3537d07c6c32a54a0a949c178bb68b"