Skip to content
GitLab
Explore
Sign in
Register
alpine
aports
Repository
aports
testing
spin
APKBUILD
Find file
Blame
History
Permalink
testing/spin: new aport
· 29f65ce3
Daniel Sabogal
authored
Sep 18, 2016
and
Natanael Copa
committed
Sep 21, 2016
http://spinroot.com/
Tool for formal verification of distributed software systems
29f65ce3