"theories/base_logic/lib/namespaces.v" did not exist on "a9be1e26a165b391aee5380e06215044c0844505"