It’s not there. I need to find a way to add it manually.

Well, I was just able to install The Lab, Ghost, and The Crew by installing dependencies one at a time.

It took forever, though, and would have been easier if I could have added the zips in that link as a repository.

So… I found this url, which is allowing me to install some of the dependencies by zip, one at a time. This might end up working, but it’s slow going, because I need to install the dependencies’ dependencies first…

I haven’t figured out how to add the whole thing as a repository yet.