openeuclide/src/.deps
