I was trying again to use spin after a long time, and it doesn't seem to work on arch anymore:
[Src6.2.2]$ ./spin ../Samples/p102.pml sh: /lib/cpp: No such file or directory spin: preprocessing failed I first installed it from AUR and then compiled it myself, compiling doesn't give any problem but running anything give the above problem.. Anyone saw that too?
