spin (6.5.2+dfsg-2)
Details
Core information at a glance
- Distribution
- debian
- Origin
- debian-sid
- Repository
- https://deb.debian.org/debian
- Codename
- sid
- Component
- main
- Source
- none
- Architecture
- s390x
- Section
- devel
- Priority
- optional
- Maintainer
- Tom Lee <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 1.6 kB
- Size expected
- 434.2 kB
- Size actual
- 434.2 kB
- Size match
Suggested packages
Recommended additional packages
- None
Description
formal software verification tool
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | c082d73d…c04ddb9a | |
| SHA-1 | adf8185e…5418df7c | |
| SHA-256 | 40c5dd93…62b8b488 | |
| SHA-512 | 6b09a45e…4c641728 |
Contents
Files and directories included
. usr usr/bin usr/bin/spin usr/share usr/share/doc usr/share/doc/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 usr/share/doc/spin/examples/Examples usr/share/doc/spin/examples/Examples/Book_1991 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 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 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 usr/share/lintian/overrides usr/share/lintian/overrides/spin usr/share/man usr/share/man/man1 usr/share/man/man1/spin.1.gz