Spinroot

Hi
I'm working on a tool to make it easier to utilize SPIN's error traces. In order to test and strengthen it I need (hundreds of) Promela models. I have tried looking for datasets online, but all the old links on spinroot are dead except one, and there aren't many available elsewhere (like github, university resources, forums, etc).
If anyone has models they can share with me, I'd appreciate it if you could email them to me at [email protected]. Alternatively, I could set up a repository and we could collectively build a new dataset.
I would also appreciate links to any online datasets still available.

Thank you

Brishna