@name spin-6.4.7p0
@version 11
@comment pkgpath=lang/spin ftp=yes
@arch i386
+DESC
@sha yle1tzhWm+LjUr+eGFHx2teHJ+TSzzjyTU+zqp2lGco=
@size 587
@wantlib c.103.0
@cwd /usr/local
@bin bin/spin
@sha g2JmkSh1yUgurxWfAKq4HmZvU5CMcNOIWW4GtIC9BXk=
@size 937424
@ts 1777166192
@man man/man1/spin.1
@sha CIHWU5yrNrallbPiEgG/5PsLLsrZ5qX6k8XuhtsH8RE=
@size 11971
@ts 1777166192
share/examples/spin/
share/examples/spin/Book_1991/
share/examples/spin/Book_1991/App.F.datalink.h
@sha 9hD4h0ox2sqVDCymHEBhn1WsXetnYT7i5rKW7PqiZ+k=
@size 298
@ts 1777166193
share/examples/spin/Book_1991/App.F.defines.h
@sha BRtdZJtg2+maYFyJ2rp7eWW4UqEMrQCjpr4ZWtkHmcI=
@size 735
@ts 1777166193
share/examples/spin/Book_1991/App.F.flow_cl.h
@sha /vEUrtpaeItqOLa6XooDKgF2bdj9yumdAYPGHkUOCJw=
@size 2385
@ts 1777166193
share/examples/spin/Book_1991/App.F.fserver.h
@sha zoeY0NnTKDJGoTOZPjMfyiLZOBSqQ+Q4zJWWQcrqilw=
@size 535
@ts 1777166193
share/examples/spin/Book_1991/App.F.pftp.pml
@sha leh+A7r1C3/93lqtKQYYpJMyEfkiyHPN8LlpfeJTgE0=
@size 451
@ts 1777166193
share/examples/spin/Book_1991/App.F.present.h
@sha 8L/ZNlQuPaZQWB0rxc0hLYIm/KMFZJpq02lByhbUtKs=
@size 673
@ts 1777166192
share/examples/spin/Book_1991/App.F.session.h
@sha B3tWdAwDiTTcSjywFi4bPW8n/mwROIqHxZaRB5HvbP4=
@size 2553
@ts 1777166193
share/examples/spin/Book_1991/App.F.user.h
@sha ORMFWZqseapYQ18MAzQpDapF2jZDEcBFmHFU6Oo/Mxs=
@size 330
@ts 1777166192
share/examples/spin/Book_1991/README.txt
@sha lhax/peSQBX8P6YqxusYOxAivvwrLEO1Rq14Nm4YLT0=
@size 4237
@ts 1777166192
share/examples/spin/Book_1991/p101.pml
@sha HWbTCzgu4DHT1yINltiL4MVf8fEIBgyhYXaW/jMMhUY=
@size 260
@ts 1777166192
share/examples/spin/Book_1991/p102.pml
@sha r38fgV7MbJvaei032joAlF27kXjnQCIM5JpnLa6GPxM=
@size 185
@ts 1777166193
share/examples/spin/Book_1991/p104.1.pml
@sha XfIWUHHUhYUcqIldbWla92aRDYMyiPcBq3usWOI6oTc=
@size 295
@ts 1777166193
share/examples/spin/Book_1991/p104.2.pml
@sha w1eT7EVksVgEW7rAO2EvTLpM/hqGJSWO1CrlvCzZRi0=
@size 454
@ts 1777166193
share/examples/spin/Book_1991/p105.1.pml
@sha j6lirtshZ7ahiW9rvlbnRSBa7ElqJI4EGkUV76h5TzU=
@size 271
@ts 1777166193
share/examples/spin/Book_1991/p105.2.pml
@sha mzViMn0BjtiCpj+eQNmH9hQdJZbhc1mLb4vMj2i5Cek=
@size 293
@ts 1777166193
share/examples/spin/Book_1991/p107.pml
@sha Hfph7Se4K0oiUpWJr+fHEb91m6VyzVfZZkVJ3UVy/BQ=
@size 593
@ts 1777166192
share/examples/spin/Book_1991/p108.pml
@sha Ryxd+oASu3+hk26G0PWBULICYZaTRtANvKBuQ82nnLA=
@size 1349
@ts 1777166192
share/examples/spin/Book_1991/p116.pml
@sha wH90byszF9zjWH6whx5R/BPZHx8KvbM1rGCbZr2q8xk=
@size 187
@ts 1777166193
share/examples/spin/Book_1991/p117.pml
@sha KXSqkE02IAdk/oADEeqT658S2t0HbgNL2+WjtVl89FQ=
@size 442
@ts 1777166192
share/examples/spin/Book_1991/p123.pml
@sha yg3vaUw7Bl5sbQmNo7ZrJ96fCi4ITWsGRA4/1GvAy2k=
@size 1042
@ts 1777166193
share/examples/spin/Book_1991/p248.pml
@sha tglc8OTC2i1R1jKolZj8RmeTOkomY31a/NqTSWNge0M=
@size 294
@ts 1777166193
share/examples/spin/Book_1991/p312.pml
@sha N2u1iZKXxWCap9UA4OD3bKRlKOVt9XuN6Xj+q5ALwvM=
@size 811
@ts 1777166193
share/examples/spin/Book_1991/p319.pml
@sha zu8UgsVBCWeQXCbJ9SEPfI+oiLz7oM+dz1fgiaHL1pc=
@size 767
@ts 1777166193
share/examples/spin/Book_1991/p320.pml
@sha C4hvNDkCxz9vS/V+JAK1gmdzm8aHBPiN73h5IHynC64=
@size 433
@ts 1777166192
share/examples/spin/Book_1991/p325.test.h
@sha wZvWWy/36H1u9meZQp96qrw+a1Z1KBvztlN5zSDWd98=
@size 686
@ts 1777166192
share/examples/spin/Book_1991/p327.upper.h
@sha eJ3gqVAqHiCNG+KaCbxPr17Q5NeyVvA8row+RDwh0H4=
@size 1049
@ts 1777166192
share/examples/spin/Book_1991/p329.pml
@sha Zc0KNWZNrogEdYVJ236kjcPvP9pCoOQFWiHf1Gngug8=
@size 687
@ts 1777166192
share/examples/spin/Book_1991/p330.pml
@sha Zc0KNWZNrogEdYVJ236kjcPvP9pCoOQFWiHf1Gngug8=
@size 687
@ts 1777166193
share/examples/spin/Book_1991/p337.defines2.h
@sha dj4AkxbFNkz+Onp8Og1EhGF8x/WGc6j3+ny/YfLJW+g=
@size 576
@ts 1777166193
share/examples/spin/Book_1991/p337.fserver.h
@sha zoeY0NnTKDJGoTOZPjMfyiLZOBSqQ+Q4zJWWQcrqilw=
@size 535
@ts 1777166193
share/examples/spin/Book_1991/p337.pftp.ses.pml
@sha aGrbhki5cLjS2hnS9r+k1T+gYuqgmRUMvIBSu1sI4qY=
@size 415
@ts 1777166193
share/examples/spin/Book_1991/p337.session.h
@sha n43Q1EmviAq4Xjp5cQFZGLM08xlAOoGJy9iXK3ip6gc=
@size 2563
@ts 1777166193
share/examples/spin/Book_1991/p337.user.h
@sha ORMFWZqseapYQ18MAzQpDapF2jZDEcBFmHFU6Oo/Mxs=
@size 330
@ts 1777166192
share/examples/spin/Book_1991/p342.pftp.ses1.h
@sha +pgKiioG7FQJtcBurAD97seyY3j0TDiMLp5ABPSK4+w=
@size 554
@ts 1777166192
share/examples/spin/Book_1991/p343.claim.h
@sha asthoUHb7wspO+pkYigofzfya/t2R1oH7Fxf2TMVGIw=
@size 383
@ts 1777166193
share/examples/spin/Book_1991/p347.pftp.ses5.pml
@sha uvdLjasopSPqx7fosNMlpwCDH1Y9R2EjvgTE730TJVU=
@size 362
@ts 1777166193
share/examples/spin/Book_1991/p347.pres.sim.h
@sha hCxBPwOgKWRB0S10hJg4OwU8VkYQmDwSKtDAwXA/Vso=
@size 396
@ts 1777166193
share/examples/spin/Book_1991/p347.session.prog.h
@sha HERYyCC+DzUL2n6uItwfE2kBtvlc78R2XjVwU+YyWTc=
@size 2608
@ts 1777166193
share/examples/spin/Book_1991/p94.pml
@sha bsklyWML9z7lCqbzNZFwDvii3iKKTwF/r8QnDq/QLWM=
@size 136
@ts 1777166193
share/examples/spin/Book_1991/p95.1.pml
@sha ac42RlMEntfJJTgM1RkPjJOuDC8pcCQfRuS4rS4v30M=
@size 33
@ts 1777166193
share/examples/spin/Book_1991/p95.2.pml
@sha Fq/RAVa7AgEGKcoKSIUM5MHO+9Gax3SuG+z8IyqTnLQ=
@size 88
@ts 1777166193
share/examples/spin/Book_1991/p96.1.pml
@sha vLYC8ifNVaQ254MPpQT2TNeg+CT+8uARUw2SuxX2xHg=
@size 147
@ts 1777166192
share/examples/spin/Book_1991/p96.2.pml
@sha ICPdglZ7u32XADMZgW9NMUhSXQrFusna7rLRPF9R42I=
@size 311
@ts 1777166193
share/examples/spin/Book_1991/p97.1.pml
@sha HTjKaw2BMIijhYpsxuytETExfLiT6hi3aGxUzkcptFo=
@size 166
@ts 1777166193
share/examples/spin/Book_1991/p97.2.pml
@sha jqCwLu6yvHhD7J9r11aS6r49LAQUUdCgKEW4yjnxt0g=
@size 163
@ts 1777166192
share/examples/spin/Book_1991/p99.pml
@sha hstPeYCKFkztXRPjD87euiZH4ubwbxYZNcFhnlKOTrA=
@size 243
@ts 1777166193
share/examples/spin/Exercises/
share/examples/spin/Exercises/ex_1a.pml
@sha GaIErR3dxSOjfLjCYLXu+NiellqDFHUNzd4XbUinsfI=
@size 134
@ts 1777166193
share/examples/spin/Exercises/ex_1f.pml
@sha LwQ+W4Pwy1GJYA5JFNv/Z+McUO0ygT6+2i4YxAzwWk8=
@size 261
@ts 1777166193
share/examples/spin/Exercises/ex_2.pml
@sha cgrhv32DSEpgfz+mmRan5rTWdzJZjMpru5CUk4ipM9s=
@size 608
@ts 1777166194
share/examples/spin/Exercises/ex_3a.pml
@sha vJ+lThf+FogpSF+jr/75emMGJwP2/tKKfDYR5xxUlvw=
@size 598
@ts 1777166193
share/examples/spin/Exercises/ex_3b.pml
@sha 98Ks1jnfl51zl9//KfJmUs0BlTdtdpFRlWqO1i/7xYw=
@size 261
@ts 1777166193
share/examples/spin/Exercises/ex_3c.pml
@sha +Q2ktGq7W4UsROXc+pXaPvE/FYK5afdgnvkdh4Gn0kY=
@size 478
@ts 1777166193
share/examples/spin/Exercises/ex_4.pml
@sha fF6PEM9R4yTdz/IbOhc3QX+M/7tIeebIVlIbGEGmHJ0=
@size 536
@ts 1777166194
share/examples/spin/Exercises/ex_5.pml
@sha ycIFs9hp1UIw+x+gWfIyich0L9mGlC1JCKZl+3ythAM=
@size 1074
@ts 1777166193
share/examples/spin/Exercises/ex_6.pml
@sha EmZK3nsY/DTLSLFUzZGMpAcFvlI0TwYRHNX2sFyucNk=
@size 1812
@ts 1777166194
share/examples/spin/LTL/
share/examples/spin/LTL/bakery.pml
@sha lgshTUqK+W2F3WT9rXTNVr+5quRlxyS79V+iI+HkRYc=
@size 488
@ts 1777166194
share/examples/spin/LTL/diskhead.pml
@sha lJCvgYNr0ETBFwu2yiyMBNPlAyGMJutxlxfg/nuM15Q=
@size 1076
@ts 1777166194
share/examples/spin/LTL/leader.pml
@sha /0DF5xWm+pW1lde2rtv91DItHKcwueMTkcmS2A8JJZI=
@size 2459
@ts 1777166194
share/examples/spin/LTL/leader_pre.pml
@sha QU+7kVpvZ3Cvk6Ff1OebENJmlZzlNGFlyM3j/AiXZy0=
@size 2866
@ts 1777166194
share/examples/spin/LTL/ltl_always_eventually.pml
@sha /+s0MnWKusIzPQEHCumAPiHn539QhLj/gnU8uCLw1po=
@size 83
@ts 1777166194
share/examples/spin/LTL/ltl_example.pml
@sha ZlAuZTuUPWtStTmc1mW9JvPx5E8rw37cclN5PDTtJgc=
@size 97
@ts 1777166194
share/examples/spin/LTL/ltl_gen.pml
@sha uMgKb4pKkbTbg26AeWv9vNteVIZZyl44rMZsViQbvXA=
@size 2646
@ts 1777166194
share/examples/spin/LTL/mobile1.pml
@sha vcq3XL0jRQWGYgHRHlsOjgvq4OUCwf3AuUIROXlAK1w=
@size 2730
@ts 1777166194
share/examples/spin/LTL/mobile2.pml
@sha Xc9VmgD9fGQbGFj7gA+XyxkrSE1QcKBb0z6oGdIu5y8=
@size 2575
@ts 1777166194
share/examples/spin/LTL/patterns.pml
@sha hz+RmIwWWU3fYdx8Wl+grsN42ERMKS9u3nF/PAliG74=
@size 4767
@ts 1777166194
share/examples/spin/LTL/petersonN.pml
@sha /LD3tgcplGbTmQdfnb6nhqUfpRz1qAuIQbgKuE+8ImQ=
@size 778
@ts 1777166194
share/examples/spin/LTL/pftp.pml
@sha 6NgHmZqn3ttv+05UPwIng4EprI33ei2zS6YlzIqXgzE=
@size 3976
@ts 1777166194
share/examples/spin/LTL/salesman1.pml
@sha nQ1UDrCC9h2OG9yJCnqXZFK+QvGc4C2ZN3z9PH6BI1w=
@size 1020
@ts 1777166194
share/examples/spin/LTL/salesman2.pml
@sha CfUI0rm0gAoEE/sjiwalks/FF77emvj6zuZ4z07+F+U=
@size 1112
@ts 1777166194
share/examples/spin/LTL/train.pml
@sha EgelQQnHxT+jSpqS3Nut43JvRQfnZTkRXs+0PdOrYK8=
@size 1733
@ts 1777166194
share/examples/spin/LTL/zune.pml
@sha aVD9NOEsgFkHivEJtT7IwKlz6DFcSOuSDXqHqCG0hXU=
@size 1473
@ts 1777166194
share/examples/spin/README_tests.txt
@sha iqO99VtG4dAt0rpuY4ypTyicj7DMbMR8w5NYkiYzgSU=
@size 10016
@ts 1777166194
share/examples/spin/abp.pml
@sha QnAwwECLcOCRr+CY9ca0JDxoZUyGUc0jVrEVjuyRWLQ=
@size 735
@ts 1777166194
share/examples/spin/calculator.pml
@sha 1DgoEy2jBD17i9WW+to/FBp43uewZy1bEco1drDCkRg=
@size 686
@ts 1777166194
share/examples/spin/cambridge.pml
@sha tLB0MuchWFDmvMEt272z+YI1RljHSZ8tD47N3NaqK3Q=
@size 4153
@ts 1777166194
share/examples/spin/dtp.pml
@sha nwNjgQrtp9Pr1nPDsMXoWbwtH739tVHZpU1RvG4cYQI=
@size 5823
@ts 1777166194
share/examples/spin/eratosthenes.pml
@sha 0g+g7pNrDOYKDF6K5ve/ykZQpNP3zoNN77faiYoATu8=
@size 754
@ts 1777166194
share/examples/spin/for_example.pml
@sha k4I/K3Ft08/CJvKSKKenx128WGfLcaSWDTu51rN1uew=
@size 307
@ts 1777166194
share/examples/spin/for_select_example.pml
@sha TxWdCX6jgl4vtjQAZQQG0MhRCW/1ZgUWi+wAsY8NaoA=
@size 876
@ts 1777166194
share/examples/spin/hajek.pml
@sha 9xn3BvTbCRa9cOJ16b3G873jP8cfgmxXfmvVVLsKRaw=
@size 1055
@ts 1777166194
share/examples/spin/hello.pml
@sha x1UHMgB8L+E2tfIS/TUc/1YJ6tF9rpApQ5p/5LPrsug=
@size 41
@ts 1777166194
share/examples/spin/leader0.pml
@sha 2/EGJ64K7fzRPZa4U6Tlkp4oiVhDXJDbpvpTAiy4FWM=
@size 1524
@ts 1777166194
share/examples/spin/leader_trace.pml
@sha JEinqJDAmF/B1jpHoZVsdD5qMceihvv0bYqvfyaru7Q=
@size 1636
@ts 1777166194
share/examples/spin/life.pml
@sha e+h4HEgJhszwcMnFLT01CemUcHjiYr/0EwQJmRTL1LE=
@size 1646
@ts 1777166194
share/examples/spin/loops.pml
@sha WEEurmu+WV+1UbgkF6WwpHNAwc2UTd6DIBCeF2Or7GQ=
@size 135
@ts 1777166194
share/examples/spin/manna_pnueli.pml
@sha lDrSR2EsNcTgOF0eqypb8N8ZUwJb4JaqN3PGIiTY5zQ=
@size 398
@ts 1777166194
share/examples/spin/pathfinder.pml
@sha 4DMFbjaw2m7Ahy3dfvM++Cf62/AfOMZmienL2XJ7oxc=
@size 1318
@ts 1777166194
share/examples/spin/peterson.pml
@sha xRj0t3KYr1ECjZbhqszGtU1Xiv3uz242K4U/s+e7G94=
@size 340
@ts 1777166194
share/examples/spin/priorities.pml
@sha f9G49EeBabuhGz+FZV0ndfeHXGWSa8lH1CqwXXMxAdc=
@size 292
@ts 1777166195
share/examples/spin/rtos1.pml
@sha zHqRqKFRRDFklPDtL12vGfbeqN6XEjM90RSUeS8MZzw=
@size 654
@ts 1777166195
share/examples/spin/sat.pml
@sha jviFX6SDFinHnRgtq5HAi2fMnN5ebiwnkyarllU0KaY=
@size 187
@ts 1777166195
share/examples/spin/snoopy.pml
@sha lbXbqajDJASYcgqe4YA0sRB+tqY6DAnMLuprrw47wHI=
@size 5021
@ts 1777166195
share/examples/spin/sort.pml
@sha k1A8RGT8vyR8Nruy/1mJ8XsvCr+nFZw+6K/JmdsMPCU=
@size 1539
@ts 1777166195
share/examples/spin/welfare.pml
@sha INUpMYex/NSbmoHCmdocK/YtVGPZ9GaVk8WUjHCX0uM=
@size 942
@ts 1777166195
share/examples/spin/werkplaats.pml
@sha TF4SpfoApXPxFPeMl2tHdRjnKlHsMO8TXy6J8x9KRxI=
@size 2159
@ts 1777166195
share/examples/spin/wordcount.pml
@sha vlsHAOiRY1kc6dxIX4RWurlmhOiq6OIRw05MKCNkdbg=
@size 803
@ts 1777166195
