/usr/local/man/man1/spin.1.gz
/usr/local/bin/spin
/usr/local/bin/xspin
/usr/local/share/doc/spin/Doc/Book.Ch6.add
/usr/local/share/doc/spin/Doc/Book.Errata
/usr/local/share/doc/spin/Doc/Book.answers
/usr/local/share/doc/spin/Doc/Book.samples
/usr/local/share/doc/spin/Doc/Book2003Errata.html
/usr/local/share/doc/spin/Doc/Book91_Ch6_add.txt
/usr/local/share/doc/spin/Doc/Book91_Errata.txt
/usr/local/share/doc/spin/Doc/Book91_answers.txt
/usr/local/share/doc/spin/Doc/Book91_samples_bundle
/usr/local/share/doc/spin/Doc/V1.Updates
/usr/local/share/doc/spin/Doc/V2.Updates
/usr/local/share/doc/spin/Doc/V3.Updates
/usr/local/share/doc/spin/Examples/ex.1a
/usr/local/share/doc/spin/Examples/ex.1b
/usr/local/share/doc/spin/Examples/ex.1c
/usr/local/share/doc/spin/Examples/ex.2
/usr/local/share/doc/spin/Examples/ex.3
/usr/local/share/doc/spin/Examples/ex.4b
/usr/local/share/doc/spin/Examples/ex.4c
/usr/local/share/doc/spin/Examples/ex.5a
/usr/local/share/doc/spin/Examples/ex.5b
/usr/local/share/doc/spin/Examples/ex.6
/usr/local/share/doc/spin/Examples/ex.7
/usr/local/share/doc/spin/Examples/ex.8
/usr/local/share/doc/spin/Examples/ex.9
/usr/local/share/doc/spin/Examples/ex.9b
/usr/local/share/doc/spin/Examples/ex.9c
/usr/local/share/doc/spin/Examples/ex.readme
/usr/local/share/doc/spin/Test/README.tests
/usr/local/share/doc/spin/Test/abp
/usr/local/share/doc/spin/Test/eratosthenes
/usr/local/share/doc/spin/Test/hello
/usr/local/share/doc/spin/Test/leader
/usr/local/share/doc/spin/Test/leader.ltl
/usr/local/share/doc/spin/Test/leader2
/usr/local/share/doc/spin/Test/leader_trace
/usr/local/share/doc/spin/Test/loops
/usr/local/share/doc/spin/Test/mobile1
/usr/local/share/doc/spin/Test/mobile1.ltl
/usr/local/share/doc/spin/Test/mobile2
/usr/local/share/doc/spin/Test/mobile2.ltl
/usr/local/share/doc/spin/Test/pathfinder
/usr/local/share/doc/spin/Test/peterson
/usr/local/share/doc/spin/Test/petersonN
/usr/local/share/doc/spin/Test/pftp
/usr/local/share/doc/spin/Test/priorities
/usr/local/share/doc/spin/Test/snoopy
/usr/local/share/doc/spin/Test/sort
/usr/local/share/doc/spin/Test/wordcount