data/spin-6.5.2+dfsg/.gitignore: ASCII text data/spin-6.5.2+dfsg/Doc/V1.Updates: ASCII text data/spin-6.5.2+dfsg/Doc/V2.Updates: data data/spin-6.5.2+dfsg/Doc/V3.Updates: ASCII text data/spin-6.5.2+dfsg/Doc/V4.Updates: ASCII text data/spin-6.5.2+dfsg/Doc/V5.Updates: ASCII text data/spin-6.5.2+dfsg/Doc/V6.Updates: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/App.F.datalink.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/App.F.defines.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/App.F.flow_cl.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/App.F.fserver.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/App.F.pftp.pml: C source, ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/App.F.present.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/App.F.session.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/App.F.user.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/README.txt: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p101.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p102.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p104.1.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p104.2.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p105.1.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p105.2.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p107.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p108.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p116.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p117.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p123.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p248.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p312.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p319.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p320.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p325.test.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p327.upper.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p329.pml: C source, ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p330.pml: C source, ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p337.defines2.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p337.fserver.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p337.pftp.ses.pml: C source, ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p337.session.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p337.user.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p342.pftp.ses1.h: C source, ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p343.claim.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p347.pftp.ses5.pml: C source, ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p347.pres.sim.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p347.session.prog.h: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p94.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p95.1.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p95.2.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p96.1.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p96.2.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p97.1.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p97.2.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Book_1991/p99.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Exercises/ex_1a.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Exercises/ex_1f.pml: C source, ASCII text data/spin-6.5.2+dfsg/Examples/Exercises/ex_2.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Exercises/ex_3a.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Exercises/ex_3b.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Exercises/ex_3c.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Exercises/ex_4.pml: ASCII text data/spin-6.5.2+dfsg/Examples/Exercises/ex_5.pml: C source, ASCII text data/spin-6.5.2+dfsg/Examples/Exercises/ex_6.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/bakery.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/diskhead.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/leader.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/leader_pre.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/ltl_always_eventually.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/ltl_example.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/ltl_gen.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/mobile1.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/mobile2.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/patterns.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/petersonN.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/pftp.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/salesman1.pml: C source, ASCII text data/spin-6.5.2+dfsg/Examples/LTL/salesman2.pml: C source, ASCII text data/spin-6.5.2+dfsg/Examples/LTL/train.pml: ASCII text data/spin-6.5.2+dfsg/Examples/LTL/zune.pml: C source, ASCII text data/spin-6.5.2+dfsg/Examples/README_tests.txt: ASCII text data/spin-6.5.2+dfsg/Examples/abp.pml: ASCII text data/spin-6.5.2+dfsg/Examples/calculator.pml: ASCII text data/spin-6.5.2+dfsg/Examples/cambridge.pml: ASCII text data/spin-6.5.2+dfsg/Examples/dtp.pml: ASCII text data/spin-6.5.2+dfsg/Examples/eratosthenes.pml: ASCII text data/spin-6.5.2+dfsg/Examples/for_example.pml: ASCII text data/spin-6.5.2+dfsg/Examples/for_select_example.pml: ASCII text data/spin-6.5.2+dfsg/Examples/hajek.pml: ASCII text data/spin-6.5.2+dfsg/Examples/hello.pml: ASCII text data/spin-6.5.2+dfsg/Examples/leader0.pml: ASCII text data/spin-6.5.2+dfsg/Examples/leader_trace.pml: ASCII text data/spin-6.5.2+dfsg/Examples/life.pml: ASCII text data/spin-6.5.2+dfsg/Examples/loops.pml: ASCII text data/spin-6.5.2+dfsg/Examples/manna_pnueli.pml: ASCII text data/spin-6.5.2+dfsg/Examples/pathfinder.pml: ASCII text data/spin-6.5.2+dfsg/Examples/peterson.pml: ASCII text data/spin-6.5.2+dfsg/Examples/priorities.pml: ASCII text data/spin-6.5.2+dfsg/Examples/rtos1.pml: ASCII text data/spin-6.5.2+dfsg/Examples/sat.pml: ASCII text data/spin-6.5.2+dfsg/Examples/snoopy.pml: ASCII text data/spin-6.5.2+dfsg/Examples/sort.pml: ASCII text data/spin-6.5.2+dfsg/Examples/test_mtype.pml: ASCII text data/spin-6.5.2+dfsg/Examples/welfare.pml: ASCII text data/spin-6.5.2+dfsg/Examples/werkplaats.pml: C source, ASCII text data/spin-6.5.2+dfsg/Examples/wordcount.pml: ASCII text data/spin-6.5.2+dfsg/Man/README.md: C source, ASCII text, with very long lines data/spin-6.5.2+dfsg/Man/html_manual_pages.tar.gz: gzip compressed data, last modified: Wed Jun 12 20:30:05 2019, from Unix, original size modulo 2^32 911360 data/spin-6.5.2+dfsg/Man/spin.1: troff or preprocessor input, UTF-8 Unicode text data/spin-6.5.2+dfsg/README.md: ASCII text data/spin-6.5.2+dfsg/Src/LICENSE: ASCII text data/spin-6.5.2+dfsg/Src/dstep.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/flow.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/guided.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/main.c: C source, UTF-8 Unicode text data/spin-6.5.2+dfsg/Src/mesg.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/msc_tcl.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/pangen1.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/pangen1.h: ASCII text data/spin-6.5.2+dfsg/Src/pangen2.h: ASCII text data/spin-6.5.2+dfsg/Src/pangen3.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/pangen3.h: C source, ASCII text data/spin-6.5.2+dfsg/Src/pangen4.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/pangen4.h: ASCII text data/spin-6.5.2+dfsg/Src/pangen5.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/pangen5.h: ASCII text data/spin-6.5.2+dfsg/Src/pangen6.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/pangen7.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/reprosrc.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/run.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/sched.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/spin.h: C source, ASCII text data/spin-6.5.2+dfsg/Src/spin.y: C source, ASCII text data/spin-6.5.2+dfsg/Src/spinlex.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/structs.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/sym.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/tl.h: C source, ASCII text data/spin-6.5.2+dfsg/Src/tl_buchi.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/tl_cache.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/tl_lex.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/tl_main.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/tl_mem.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/tl_parse.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/tl_rewrt.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/tl_trans.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/vars.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/version.h: ASCII text data/spin-6.5.2+dfsg/Src/makefile: makefile script, ASCII text data/spin-6.5.2+dfsg/Src/pangen2.c: C source, ASCII text data/spin-6.5.2+dfsg/Src/pangen6.h: ASCII text data/spin-6.5.2+dfsg/Src/pangen7.h: ASCII text data/spin-6.5.2+dfsg/makefile: makefile script, ASCII text data/spin-6.5.2+dfsg/debian/changelog: ASCII text data/spin-6.5.2+dfsg/debian/control: ASCII text data/spin-6.5.2+dfsg/debian/copyright: ASCII text data/spin-6.5.2+dfsg/debian/docs: ASCII text data/spin-6.5.2+dfsg/debian/outfile: ASCII text data/spin-6.5.2+dfsg/debian/patches/01_makefile_fixes.patch: unified diff output, ASCII text data/spin-6.5.2+dfsg/debian/patches/02_manpage_fixes.patch: unified diff output, UTF-8 Unicode text data/spin-6.5.2+dfsg/debian/patches/03_typos.patch: unified diff output, ASCII text data/spin-6.5.2+dfsg/debian/patches/series: ASCII text data/spin-6.5.2+dfsg/debian/rules: a /usr/bin/make -f script, ASCII text executable data/spin-6.5.2+dfsg/debian/source/format: ASCII text data/spin-6.5.2+dfsg/debian/spin-docs.docs: ASCII text data/spin-6.5.2+dfsg/debian/spin.examples: ASCII text data/spin-6.5.2+dfsg/debian/spin.lintian-overrides: ASCII text data/spin-6.5.2+dfsg/debian/spin.manpages: ASCII text data/spin-6.5.2+dfsg/debian/tests/cli-tests: Bourne-Again shell script, ASCII text executable data/spin-6.5.2+dfsg/debian/tests/control: ASCII text data/spin-6.5.2+dfsg/debian/watch: ASCII text data/spin-6.5.2+dfsg/.pc/.version: ASCII text data/spin-6.5.2+dfsg/.pc/.quilt_patches: ASCII text data/spin-6.5.2+dfsg/.pc/.quilt_series: ASCII text data/spin-6.5.2+dfsg/.pc/applied-patches: ASCII text data/spin-6.5.2+dfsg/.pc/01_makefile_fixes.patch/Src/makefile: makefile script, ASCII text data/spin-6.5.2+dfsg/.pc/02_manpage_fixes.patch/Man/spin.1: troff or preprocessor input, ASCII text data/spin-6.5.2+dfsg/.pc/03_typos.patch/Src/pangen2.c: C source, ASCII text data/spin-6.5.2+dfsg/.pc/03_typos.patch/Src/pangen6.h: ASCII text data/spin-6.5.2+dfsg/.pc/03_typos.patch/Src/pangen7.h: ASCII text