Package - spin
Primary informations
Download package: http://deb.debian.org/debian/pool/main/s/spin/spin_6.5.2+dfsg-2_amd64.deb (Size: 442.3KiB)| Property | Value |
|---|---|
| Package | spin |
| Version | 6.5.2+dfsg-2 |
| Installed-Size | 1559 |
| Maintainer | Tom Lee |
| Architecture | amd64 |
| Depends | libc6 (>= 2.38) |
| Description | formal software verification tool |
| Description-md5 | 6f4b806803aec0404f0de2b0f81b16b3 |
| Homepage | https://spinroot.com/spin/whatispin.html |
| Section | devel |
| Priority | optional |
| Filename | pool/main/s/spin/spin_6.5.2+dfsg-2_amd64.deb |
| Size | 452936 |
| MD5sum | f2520eb18f15f2314529a3ba7d917447 |
| SHA256 | 4da62cab550cac39bb5fd8fd49a403a18ff34119883e536b21337b49687924b6 |
Files in package
- /usr/bin/spin
- /usr/share/doc/spin/README.md.gz
- /usr/share/doc/spin/V1.Updates.gz
- /usr/share/doc/spin/V2.Updates.gz
- /usr/share/doc/spin/V3.Updates.gz
- /usr/share/doc/spin/V4.Updates.gz
- /usr/share/doc/spin/V5.Updates.gz
- /usr/share/doc/spin/V6.Updates.gz
- /usr/share/doc/spin/changelog.Debian.gz
- /usr/share/doc/spin/copyright
- /usr/share/doc/spin/examples/Examples/Book_1991/App.F.datalink.h
- /usr/share/doc/spin/examples/Examples/Book_1991/App.F.defines.h
- /usr/share/doc/spin/examples/Examples/Book_1991/App.F.flow_cl.h
- /usr/share/doc/spin/examples/Examples/Book_1991/App.F.fserver.h
- /usr/share/doc/spin/examples/Examples/Book_1991/App.F.pftp.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/App.F.present.h
- /usr/share/doc/spin/examples/Examples/Book_1991/App.F.session.h
- /usr/share/doc/spin/examples/Examples/Book_1991/App.F.user.h
- /usr/share/doc/spin/examples/Examples/Book_1991/README.txt
- /usr/share/doc/spin/examples/Examples/Book_1991/p101.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p102.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p104.1.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p104.2.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p105.1.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p105.2.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p107.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p108.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p116.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p117.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p123.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p248.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p312.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p319.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p320.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p325.test.h
- /usr/share/doc/spin/examples/Examples/Book_1991/p327.upper.h
- /usr/share/doc/spin/examples/Examples/Book_1991/p329.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p330.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p337.defines2.h
- /usr/share/doc/spin/examples/Examples/Book_1991/p337.fserver.h
- /usr/share/doc/spin/examples/Examples/Book_1991/p337.pftp.ses.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p337.session.h
- /usr/share/doc/spin/examples/Examples/Book_1991/p337.user.h
- /usr/share/doc/spin/examples/Examples/Book_1991/p342.pftp.ses1.h
- /usr/share/doc/spin/examples/Examples/Book_1991/p343.claim.h
- /usr/share/doc/spin/examples/Examples/Book_1991/p347.pftp.ses5.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p347.pres.sim.h
- /usr/share/doc/spin/examples/Examples/Book_1991/p347.session.prog.h
- /usr/share/doc/spin/examples/Examples/Book_1991/p94.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p95.1.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p95.2.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p96.1.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p96.2.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p97.1.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p97.2.pml
- /usr/share/doc/spin/examples/Examples/Book_1991/p99.pml
- /usr/share/doc/spin/examples/Examples/Exercises/ex_1a.pml
- /usr/share/doc/spin/examples/Examples/Exercises/ex_1f.pml
- /usr/share/doc/spin/examples/Examples/Exercises/ex_2.pml
- /usr/share/doc/spin/examples/Examples/Exercises/ex_3a.pml
- /usr/share/doc/spin/examples/Examples/Exercises/ex_3b.pml
- /usr/share/doc/spin/examples/Examples/Exercises/ex_3c.pml
- /usr/share/doc/spin/examples/Examples/Exercises/ex_4.pml
- /usr/share/doc/spin/examples/Examples/Exercises/ex_5.pml
- /usr/share/doc/spin/examples/Examples/Exercises/ex_6.pml
- /usr/share/doc/spin/examples/Examples/LTL/bakery.pml
- /usr/share/doc/spin/examples/Examples/LTL/diskhead.pml
- /usr/share/doc/spin/examples/Examples/LTL/leader.pml
- /usr/share/doc/spin/examples/Examples/LTL/leader_pre.pml
- /usr/share/doc/spin/examples/Examples/LTL/ltl_always_eventually.pml
- /usr/share/doc/spin/examples/Examples/LTL/ltl_example.pml
- /usr/share/doc/spin/examples/Examples/LTL/ltl_gen.pml
- /usr/share/doc/spin/examples/Examples/LTL/mobile1.pml
- /usr/share/doc/spin/examples/Examples/LTL/mobile2.pml
- /usr/share/doc/spin/examples/Examples/LTL/patterns.pml
- /usr/share/doc/spin/examples/Examples/LTL/petersonN.pml
- /usr/share/doc/spin/examples/Examples/LTL/pftp.pml
- /usr/share/doc/spin/examples/Examples/LTL/salesman1.pml
- /usr/share/doc/spin/examples/Examples/LTL/salesman2.pml
- /usr/share/doc/spin/examples/Examples/LTL/train.pml
- /usr/share/doc/spin/examples/Examples/LTL/zune.pml
- /usr/share/doc/spin/examples/Examples/README_tests.txt
- /usr/share/doc/spin/examples/Examples/abp.pml
- /usr/share/doc/spin/examples/Examples/calculator.pml
- /usr/share/doc/spin/examples/Examples/cambridge.pml
- /usr/share/doc/spin/examples/Examples/dtp.pml
- /usr/share/doc/spin/examples/Examples/eratosthenes.pml
- /usr/share/doc/spin/examples/Examples/for_example.pml
- /usr/share/doc/spin/examples/Examples/for_select_example.pml
- /usr/share/doc/spin/examples/Examples/hajek.pml
- /usr/share/doc/spin/examples/Examples/hello.pml
- /usr/share/doc/spin/examples/Examples/leader0.pml
- /usr/share/doc/spin/examples/Examples/leader_trace.pml
- /usr/share/doc/spin/examples/Examples/life.pml
- /usr/share/doc/spin/examples/Examples/loops.pml
- /usr/share/doc/spin/examples/Examples/manna_pnueli.pml
- /usr/share/doc/spin/examples/Examples/pathfinder.pml
- /usr/share/doc/spin/examples/Examples/peterson.pml
- /usr/share/doc/spin/examples/Examples/priorities.pml
- /usr/share/doc/spin/examples/Examples/rtos1.pml
- /usr/share/doc/spin/examples/Examples/sat.pml
- /usr/share/doc/spin/examples/Examples/snoopy.pml
- /usr/share/doc/spin/examples/Examples/sort.pml
- /usr/share/doc/spin/examples/Examples/test_mtype.pml
- /usr/share/doc/spin/examples/Examples/welfare.pml
- /usr/share/doc/spin/examples/Examples/werkplaats.pml
- /usr/share/doc/spin/examples/Examples/wordcount.pml
- /usr/share/lintian/overrides/spin
- /usr/share/man/man1/spin.1.gz