spin 6.5.2-5 File List

Package has 100 files and 13 directories.

Back to Package

  • usr/
  • usr/bin/
  • usr/bin/spin
  • usr/share/
  • usr/share/doc/
  • usr/share/doc/spin/
  • usr/share/doc/spin/examples/
  • usr/share/doc/spin/examples/Book_1991/
  • usr/share/doc/spin/examples/Book_1991/App.F.datalink.h
  • usr/share/doc/spin/examples/Book_1991/App.F.defines.h
  • usr/share/doc/spin/examples/Book_1991/App.F.flow_cl.h
  • usr/share/doc/spin/examples/Book_1991/App.F.fserver.h
  • usr/share/doc/spin/examples/Book_1991/App.F.pftp.pml
  • usr/share/doc/spin/examples/Book_1991/App.F.present.h
  • usr/share/doc/spin/examples/Book_1991/App.F.session.h
  • usr/share/doc/spin/examples/Book_1991/App.F.user.h
  • usr/share/doc/spin/examples/Book_1991/README.txt
  • usr/share/doc/spin/examples/Book_1991/p101.pml
  • usr/share/doc/spin/examples/Book_1991/p102.pml
  • usr/share/doc/spin/examples/Book_1991/p104.1.pml
  • usr/share/doc/spin/examples/Book_1991/p104.2.pml
  • usr/share/doc/spin/examples/Book_1991/p105.1.pml
  • usr/share/doc/spin/examples/Book_1991/p105.2.pml
  • usr/share/doc/spin/examples/Book_1991/p107.pml
  • usr/share/doc/spin/examples/Book_1991/p108.pml
  • usr/share/doc/spin/examples/Book_1991/p116.pml
  • usr/share/doc/spin/examples/Book_1991/p117.pml
  • usr/share/doc/spin/examples/Book_1991/p123.pml
  • usr/share/doc/spin/examples/Book_1991/p248.pml
  • usr/share/doc/spin/examples/Book_1991/p312.pml
  • usr/share/doc/spin/examples/Book_1991/p319.pml
  • usr/share/doc/spin/examples/Book_1991/p320.pml
  • usr/share/doc/spin/examples/Book_1991/p325.test.h
  • usr/share/doc/spin/examples/Book_1991/p327.upper.h
  • usr/share/doc/spin/examples/Book_1991/p329.pml
  • usr/share/doc/spin/examples/Book_1991/p330.pml
  • usr/share/doc/spin/examples/Book_1991/p337.defines2.h
  • usr/share/doc/spin/examples/Book_1991/p337.fserver.h
  • usr/share/doc/spin/examples/Book_1991/p337.pftp.ses.pml
  • usr/share/doc/spin/examples/Book_1991/p337.session.h
  • usr/share/doc/spin/examples/Book_1991/p337.user.h
  • usr/share/doc/spin/examples/Book_1991/p342.pftp.ses1.h
  • usr/share/doc/spin/examples/Book_1991/p343.claim.h
  • usr/share/doc/spin/examples/Book_1991/p347.pftp.ses5.pml
  • usr/share/doc/spin/examples/Book_1991/p347.pres.sim.h
  • usr/share/doc/spin/examples/Book_1991/p347.session.prog.h
  • usr/share/doc/spin/examples/Book_1991/p94.pml
  • usr/share/doc/spin/examples/Book_1991/p95.1.pml
  • usr/share/doc/spin/examples/Book_1991/p95.2.pml
  • usr/share/doc/spin/examples/Book_1991/p96.1.pml
  • usr/share/doc/spin/examples/Book_1991/p96.2.pml
  • usr/share/doc/spin/examples/Book_1991/p97.1.pml
  • usr/share/doc/spin/examples/Book_1991/p97.2.pml
  • usr/share/doc/spin/examples/Book_1991/p99.pml
  • usr/share/doc/spin/examples/Exercises/
  • usr/share/doc/spin/examples/Exercises/ex_1a.pml
  • usr/share/doc/spin/examples/Exercises/ex_1f.pml
  • usr/share/doc/spin/examples/Exercises/ex_2.pml
  • usr/share/doc/spin/examples/Exercises/ex_3a.pml
  • usr/share/doc/spin/examples/Exercises/ex_3b.pml
  • usr/share/doc/spin/examples/Exercises/ex_3c.pml
  • usr/share/doc/spin/examples/Exercises/ex_4.pml
  • usr/share/doc/spin/examples/Exercises/ex_5.pml
  • usr/share/doc/spin/examples/Exercises/ex_6.pml
  • usr/share/doc/spin/examples/LTL/
  • usr/share/doc/spin/examples/LTL/bakery.pml
  • usr/share/doc/spin/examples/LTL/diskhead.pml
  • usr/share/doc/spin/examples/LTL/leader.pml
  • usr/share/doc/spin/examples/LTL/leader_pre.pml
  • usr/share/doc/spin/examples/LTL/ltl_always_eventually.pml
  • usr/share/doc/spin/examples/LTL/ltl_example.pml
  • usr/share/doc/spin/examples/LTL/ltl_gen.pml
  • usr/share/doc/spin/examples/LTL/mobile1.pml
  • usr/share/doc/spin/examples/LTL/mobile2.pml
  • usr/share/doc/spin/examples/LTL/patterns.pml
  • usr/share/doc/spin/examples/LTL/petersonN.pml
  • usr/share/doc/spin/examples/LTL/pftp.pml
  • usr/share/doc/spin/examples/LTL/salesman1.pml
  • usr/share/doc/spin/examples/LTL/salesman2.pml
  • usr/share/doc/spin/examples/LTL/train.pml
  • usr/share/doc/spin/examples/LTL/zune.pml
  • usr/share/doc/spin/examples/README_tests.txt
  • usr/share/doc/spin/examples/abp.pml
  • usr/share/doc/spin/examples/calculator.pml
  • usr/share/doc/spin/examples/cambridge.pml
  • usr/share/doc/spin/examples/dtp.pml
  • usr/share/doc/spin/examples/eratosthenes.pml
  • usr/share/doc/spin/examples/for_example.pml
  • usr/share/doc/spin/examples/for_select_example.pml
  • usr/share/doc/spin/examples/hajek.pml
  • usr/share/doc/spin/examples/hello.pml
  • usr/share/doc/spin/examples/leader0.pml
  • usr/share/doc/spin/examples/leader_trace.pml
  • usr/share/doc/spin/examples/life.pml
  • usr/share/doc/spin/examples/loops.pml
  • usr/share/doc/spin/examples/manna_pnueli.pml
  • usr/share/doc/spin/examples/pathfinder.pml
  • usr/share/doc/spin/examples/peterson.pml
  • usr/share/doc/spin/examples/priorities.pml
  • usr/share/doc/spin/examples/rtos1.pml
  • usr/share/doc/spin/examples/sat.pml
  • usr/share/doc/spin/examples/snoopy.pml
  • usr/share/doc/spin/examples/sort.pml
  • usr/share/doc/spin/examples/test_mtype.pml
  • usr/share/doc/spin/examples/welfare.pml
  • usr/share/doc/spin/examples/werkplaats.pml
  • usr/share/doc/spin/examples/wordcount.pml
  • usr/share/licenses/
  • usr/share/licenses/spin/
  • usr/share/licenses/spin/LICENSE.txt
  • usr/share/man/
  • usr/share/man/man1/
  • usr/share/man/man1/spin.1.gz