aports/testing/spin, branch masterMain aports tree
https://git-old.alpinelinux.org/aports/atom?h=master2020-02-03T07:12:06Ztesting/spin: upgrade to 6.5.22020-02-03T07:12:06ZLeothinkabit.ukim@gmail.com2020-02-03T06:44:14Zurn:sha1:ee5b2fbe1b994655ad5fbded3fc725643c5cdb1btesting/spin: upgrade to 6.5.12019-12-05T22:08:49ZLeothinkabit.ukim@gmail.com2019-12-05T22:05:27Zurn:sha1:a06607b6353b145d98db0337a56990bc77f69666testing/spin: upgrade to 6.5.02019-08-22T21:58:18ZLeothinkabit.ukim@gmail.com2019-08-22T04:23:00Zurn:sha1:9ce001a2c382740e23fd1566c60271c5475ba566testing/spin: upgrade to 6.4.92019-06-30T03:22:51ZLeothinkabit.ukim@gmail.com2019-06-30T02:12:02Zurn:sha1:82b013aef0c37087933f020d1cff75b41229f952testing/spin: modernize abuild2017-11-14T18:58:35ZDaniel Sabogaldsabogalcc@gmail.com2017-11-11T19:57:42Zurn:sha1:56eef7f0f47fe9b4481959a6cead78b5f5b697batesting/spin: enable build on ppc64le2017-10-03T00:56:57ZRoberto Oliveirarobertoguimaraes8@gmail.com2017-10-03T00:56:57Zurn:sha1:fc6fef552a9dea62273c19181e8ff861ff61fac0testing/spin: new aport2016-09-21T18:54:45ZDaniel Sabogaldsabogalcc@gmail.com2016-09-19T01:24:48Zurn:sha1:29f65ce38db868181e9ded55b472ef5d2c226976
http://spinroot.com/
Tool for formal verification of distributed software systems