summaryrefslogtreecommitdiffstats
path: root/development/spin/slack-desc
diff options
context:
space:
mode:
Diffstat (limited to 'development/spin/slack-desc')
-rw-r--r--development/spin/slack-desc2
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: