diff options
Diffstat (limited to 'development/spin/slack-desc')
-rw-r--r-- | development/spin/slack-desc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/development/spin/slack-desc b/development/spin/slack-desc index 6301a1b0b5..021f1d0662 100644 --- a/development/spin/slack-desc +++ b/development/spin/slack-desc @@ -13,7 +13,7 @@ spin: people worldwide, that can be used for the formal verification of spin: distributed software systems. In April 2002 the tool was awarded the spin: prestigious System Software Award for 2001 by the ACM. spin: -spin: http://spinroot.com/ +spin: https://spinroot.com/ spin: spin: spin: |