aports/testing/spin, branch v3.7.2 Main aports tree https://git-old.alpinelinux.org/aports/atom?h=v3.7.2 2017-11-14T18:58:35Z testing/spin: modernize abuild 2017-11-14T18:58:35Z Daniel Sabogal dsabogalcc@gmail.com 2017-11-11T19:57:42Z urn:sha1:56eef7f0f47fe9b4481959a6cead78b5f5b697ba testing/spin: enable build on ppc64le 2017-10-03T00:56:57Z Roberto Oliveira robertoguimaraes8@gmail.com 2017-10-03T00:56:57Z urn:sha1:fc6fef552a9dea62273c19181e8ff861ff61fac0 testing/spin: new aport 2016-09-21T18:54:45Z Daniel Sabogal dsabogalcc@gmail.com 2016-09-19T01:24:48Z urn:sha1:29f65ce38db868181e9ded55b472ef5d2c226976 http://spinroot.com/ Tool for formal verification of distributed software systems