Stefan Höck

OK, now this makes sense. Although you ran `pack switch`, only the custom commits of the Idris compiler and libraries used locally will be fetched, but not the commits used...

> @stefan-hoeck how does the pack installer sort which dependencies still havent been installed Do you mean Idris dependencies or OS dependencies?