Sign inSign up

kuniwak/spin

By kuniwak

•Updated over 7 years ago

Spin model checker for Alpine Linux

Image
0

429

Tags for kuniwak/spin

Sort by

TAG

latest

Last pushed over 7 years by kuniwak

docker pull kuniwak/spin:latest
DigestOS/ARCHCompressed size

02e134c81114

linux/amd64

3.69 MB