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