Error installing Mimi under v1.3.1

Oh got it, ok I think I know what is going on. If you add the MimiRegistry before any other package in a Julia environment, the Base registry is not added and thus you are unable to add packages located in the generic Julia registry of packages. Can you double check this for me by trying to add another Julia package such as add DiffEqBase? @davidanthoff what’s the fix for this bug again?