@cwd /usr/pkg
@name spin-6.5.2
@blddep digest-20220214
@blddep mktools-20220614
@blddep cwrappers-20220403
@blddep checkperms-1.12
@comment $NetBSD: PLIST,v 1.3 2023/07/11 11:07:05 wiz Exp $
bin/spin
@comment MD5:46e1a68eaa54c4539db669c2f110637a
man/man1/spin.1
@comment MD5:3ab7f97a6f0cf9407b9c57a80fb60342
share/examples/spin/Book_1991/App.F.datalink.h
@comment MD5:5c27e6040ead9b1137f20597f2d572fb
share/examples/spin/Book_1991/App.F.defines.h
@comment MD5:83e4da3916fbcbdcdcc4fde4748a34fc
share/examples/spin/Book_1991/App.F.flow_cl.h
@comment MD5:cadbd24c6ab63d58696d16900648702a
share/examples/spin/Book_1991/App.F.fserver.h
@comment MD5:331af4aebe2ceb147ea1074091206dd7
share/examples/spin/Book_1991/App.F.pftp.pml
@comment MD5:8375a16fd459fb598fcffba196f8d084
share/examples/spin/Book_1991/App.F.present.h
@comment MD5:b903ec4e61c79c5831136c59ae571e7b
share/examples/spin/Book_1991/App.F.session.h
@comment MD5:6546c48ab6b4fa57ee992fe12064a18d
share/examples/spin/Book_1991/App.F.user.h
@comment MD5:37e26d8e6569c598e779484f91e97e8d
share/examples/spin/Book_1991/README.txt
@comment MD5:48bc8e432b6d1faa16c9ba7006a5a436
share/examples/spin/Book_1991/p101.pml
@comment MD5:1d461debfda09b1ab68c671653450754
share/examples/spin/Book_1991/p102.pml
@comment MD5:d9b89ce510a0ad03b94bc63c03f8d158
share/examples/spin/Book_1991/p104.1.pml
@comment MD5:33e682fcf79c18ddcb3a1afc8511f8c0
share/examples/spin/Book_1991/p104.2.pml
@comment MD5:e2d82de87eb69700e9cbf86158c18fbf
share/examples/spin/Book_1991/p105.1.pml
@comment MD5:3b77128a558532fb27b16a6010e6012b
share/examples/spin/Book_1991/p105.2.pml
@comment MD5:afdf3e4aa9878f6eb75edde50bde9cb8
share/examples/spin/Book_1991/p107.pml
@comment MD5:30d8d1adc661af7e8c414297ac0df597
share/examples/spin/Book_1991/p108.pml
@comment MD5:b4859836387451a6d9190223baff0c95
share/examples/spin/Book_1991/p116.pml
@comment MD5:d23c3813c6e469c078a8862f4b6192f6
share/examples/spin/Book_1991/p117.pml
@comment MD5:987347167229d08c628fc8390f7e8b53
share/examples/spin/Book_1991/p123.pml
@comment MD5:d00812ccdfe9e6f85445e7aa0bb38c01
share/examples/spin/Book_1991/p248.pml
@comment MD5:934d243ff46d2791e98e483804f0ce46
share/examples/spin/Book_1991/p312.pml
@comment MD5:fbfc379c7302314eb533ec461eb81d2b
share/examples/spin/Book_1991/p319.pml
@comment MD5:b3ea92f69ba01d382672a93d1477496b
share/examples/spin/Book_1991/p320.pml
@comment MD5:d854ca9f202978cea3eacf293f22444f
share/examples/spin/Book_1991/p325.test.h
@comment MD5:c21382f04a76dc18e990726a9c8507dc
share/examples/spin/Book_1991/p327.upper.h
@comment MD5:e47303c89e2f72e3b9f18b54dfc4934c
share/examples/spin/Book_1991/p329.pml
@comment MD5:48c5f2b2acb8d95d0f687936fb37ebbc
share/examples/spin/Book_1991/p330.pml
@comment MD5:48c5f2b2acb8d95d0f687936fb37ebbc
share/examples/spin/Book_1991/p337.defines2.h
@comment MD5:8ab8ff0e4e3b41c206c1f2922ea0707f
share/examples/spin/Book_1991/p337.fserver.h
@comment MD5:331af4aebe2ceb147ea1074091206dd7
share/examples/spin/Book_1991/p337.pftp.ses.pml
@comment MD5:ceda32555f5df7d41ef105ca0e8fc336
share/examples/spin/Book_1991/p337.session.h
@comment MD5:9f524351548a24404bf2885cf8963058
share/examples/spin/Book_1991/p337.user.h
@comment MD5:37e26d8e6569c598e779484f91e97e8d
share/examples/spin/Book_1991/p342.pftp.ses1.h
@comment MD5:cfacf89d6f7d9866de2d449124a06e95
share/examples/spin/Book_1991/p343.claim.h
@comment MD5:4f071eee11e9347d22a6ca62e6ba027f
share/examples/spin/Book_1991/p347.pftp.ses5.pml
@comment MD5:573a7d94b2a5847867932e6b11dd54ad
share/examples/spin/Book_1991/p347.pres.sim.h
@comment MD5:b3c2d3f4a34ec9cf26d689a1105e1aca
share/examples/spin/Book_1991/p347.session.prog.h
@comment MD5:c8ea35eecc64753a80379cd4104d073c
share/examples/spin/Book_1991/p94.pml
@comment MD5:4826ff60e71a87d7c68bd0b96ab2a2db
share/examples/spin/Book_1991/p95.1.pml
@comment MD5:2e64d847f5d588728fe18480fe12cd05
share/examples/spin/Book_1991/p95.2.pml
@comment MD5:9e05ea1f05b28d20f76da560f3cc15ad
share/examples/spin/Book_1991/p96.1.pml
@comment MD5:bd374cd6b09f32ee522594276cde6ddc
share/examples/spin/Book_1991/p96.2.pml
@comment MD5:02051f7fb43715c10b735c8369730afb
share/examples/spin/Book_1991/p97.1.pml
@comment MD5:dd387c355b0f3bb9d0bb6440031ffee7
share/examples/spin/Book_1991/p97.2.pml
@comment MD5:3d7c6ba316801b1c0640502a879d8deb
share/examples/spin/Book_1991/p99.pml
@comment MD5:14c1e11ee36dba86a12ed3dd80d54a2b
share/examples/spin/Exercises/ex_1a.pml
@comment MD5:58b85746f13a37afb806629c7a5bb5de
share/examples/spin/Exercises/ex_1f.pml
@comment MD5:1b18f942026e2d8a1ffad9cb8b123ff9
share/examples/spin/Exercises/ex_2.pml
@comment MD5:60e09f5ef55af753a61eb5a223bbc740
share/examples/spin/Exercises/ex_3a.pml
@comment MD5:a2591c71aa8094d2c708fcfa53575938
share/examples/spin/Exercises/ex_3b.pml
@comment MD5:46ac1f94bf6a19de55890aa39ac8be68
share/examples/spin/Exercises/ex_3c.pml
@comment MD5:e21900cef2d3c8835f0b6a46e8d9c1cb
share/examples/spin/Exercises/ex_4.pml
@comment MD5:a97a951b578519b17492049083942ea9
share/examples/spin/Exercises/ex_5.pml
@comment MD5:5389ca5bf339a27972705f8b35ae10f5
share/examples/spin/Exercises/ex_6.pml
@comment MD5:6fd82324d080990cde5a353e5a0429ee
share/examples/spin/LTL/bakery.pml
@comment MD5:b98fad1b21f5431892fe78e2d10c71c6
share/examples/spin/LTL/diskhead.pml
@comment MD5:c84df57faa67eab5590054bc7393cc00
share/examples/spin/LTL/leader.pml
@comment MD5:10451673facf77825b9ec3e40a6afe77
share/examples/spin/LTL/leader_pre.pml
@comment MD5:7aed9fb4ec91d4c5aa5faf3ed7b7b218
share/examples/spin/LTL/ltl_always_eventually.pml
@comment MD5:b54a077f0e58ee6a85187bf54789eaf5
share/examples/spin/LTL/ltl_example.pml
@comment MD5:16b7d22acc1b9022d780ce6899d844ff
share/examples/spin/LTL/ltl_gen.pml
@comment MD5:5dfba49e965d65252814194e66ccdc95
share/examples/spin/LTL/mobile1.pml
@comment MD5:0005ebe589b2798577424ea19ed07a39
share/examples/spin/LTL/mobile2.pml
@comment MD5:a08adefd480b88ad28f51fd5d9014285
share/examples/spin/LTL/patterns.pml
@comment MD5:55154fabcfb8561450e30991f824ef88
share/examples/spin/LTL/petersonN.pml
@comment MD5:009a48b2d2e38a6bdc577fcd54233865
share/examples/spin/LTL/pftp.pml
@comment MD5:226328060533b41a9695e23c1bf41a6d
share/examples/spin/LTL/salesman1.pml
@comment MD5:2c0f5bc3ad84d0c8e86c06b5a01dfece
share/examples/spin/LTL/salesman2.pml
@comment MD5:a8504566f513971821e6374fc4634b12
share/examples/spin/LTL/train.pml
@comment MD5:c339e5de1f98c02b1a2054ed72dc0afe
share/examples/spin/LTL/zune.pml
@comment MD5:ccff976d1ef91ac9bb1d45d93d66590b
share/examples/spin/README_tests.txt
@comment MD5:c98fe34aa62a5ad1cff1ff20d5d1a269
share/examples/spin/abp.pml
@comment MD5:c95217dc117519f2047876265166a887
share/examples/spin/calculator.pml
@comment MD5:124571419e84478b70a22c9172a9f173
share/examples/spin/cambridge.pml
@comment MD5:c45339c73b50f9236e90ccf484b491ed
share/examples/spin/dtp.pml
@comment MD5:94da97d4f6ae4be551717d8e9ef25735
share/examples/spin/eratosthenes.pml
@comment MD5:2ce5a52562025f1b0cd19cf03b646cf9
share/examples/spin/for_example.pml
@comment MD5:04578ae8c9ca03b99340622879366bd3
share/examples/spin/for_select_example.pml
@comment MD5:919e8503d60b7bf9b998e4e511c0d092
share/examples/spin/hajek.pml
@comment MD5:99e59fe5d0c761f84638c3fc08885fc2
share/examples/spin/hello.pml
@comment MD5:535bcf0b2980a5bb17019be6451958c8
share/examples/spin/leader0.pml
@comment MD5:2572c7a6a8069596db451b2f43f071c5
share/examples/spin/leader_trace.pml
@comment MD5:876f6250e0ea83f9d45f72cb9e3c834b
share/examples/spin/life.pml
@comment MD5:74667d892b7e7e617b41482fc96d97cf
share/examples/spin/loops.pml
@comment MD5:60bf6b5075fda02cc448ab625d31d7a2
share/examples/spin/manna_pnueli.pml
@comment MD5:66d66b0747b26003748fe2cd728b7432
share/examples/spin/pathfinder.pml
@comment MD5:3ef365dc089b79d89fb07d106a4e7035
share/examples/spin/peterson.pml
@comment MD5:97cb018a0966b3475206b5198b0ef10d
share/examples/spin/priorities.pml
@comment MD5:8c3cd1e1dcc286fa14378c8ee518d541
share/examples/spin/rtos1.pml
@comment MD5:51eedfd4c2628053478509b9f94976f9
share/examples/spin/sat.pml
@comment MD5:5dda24e35368d60d938355dbb6c02352
share/examples/spin/snoopy.pml
@comment MD5:67309276ee701fd1fde3ff155fba0336
share/examples/spin/sort.pml
@comment MD5:1ff93450de77112765dc8611e5b7d61c
share/examples/spin/test_mtype.pml
@comment MD5:7b29990a2ecae96675f71ab887c8f5c1
share/examples/spin/welfare.pml
@comment MD5:0677959791243f9dd09bf2c905d3cc31
share/examples/spin/werkplaats.pml
@comment MD5:05b213c25e58f0aacdf43f51e66e6d32
share/examples/spin/wordcount.pml
@comment MD5:82434c3e864e957a8b65aaa94e961267
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
