diff options
| author |   David Spencer | 2018-05-02 23:56:15 +0200 |
|---|---|---|
| committer | David Spencer | 2018-05-02 23:56:15 +0200 |
| commit | bba565309435d4ea4b08d84f911809ae80f18085 (patch) | |
| tree | 96d8bfa6a55dcfcc8f7267cbddb6092559f0a505 /development | |
| parent | 344f4b59e5edfa4bf0078ce22204c58793948500 (diff) | |
| download | old.slackbuilds-bba565309435d4ea4b08d84f911809ae80f18085.tar.gz | |
development/mcrl2: Updated homepage and download.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'development')
| -rw-r--r-- | development/mcrl2/mcrl2.info | 4 | ||||
| -rw-r--r-- | development/mcrl2/slack-desc | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/development/mcrl2/mcrl2.info b/development/mcrl2/mcrl2.info index 6c55df55e2..a5ea44ca71 100644 --- a/development/mcrl2/mcrl2.info +++ b/development/mcrl2/mcrl2.info @@ -1,7 +1,7 @@ PRGNAM="mcrl2" VERSION="201409.1" -HOMEPAGE="http://www.mcrl2.org" -DOWNLOAD="http://www.mcrl2.org/download/release/mcrl2-201409.1.tar.gz" +HOMEPAGE="https://www.mcrl2.org" +DOWNLOAD="https://www.mcrl2.org/download/release/mcrl2-201409.1.tar.gz" MD5SUM="32818c4111aa406033e865c30ac7862b" DOWNLOAD_x86_64="" MD5SUM_x86_64="" diff --git a/development/mcrl2/slack-desc b/development/mcrl2/slack-desc index 2f9ed87f4a..fca6abcb59 100644 --- a/development/mcrl2/slack-desc +++ b/development/mcrl2/slack-desc @@ -14,6 +14,6 @@ mcrl2: behaviour of distributed systems and protocols and is the successor mcrl2: to mCRL. Using its accompanying toolset systems can be analysed and mcrl2: verified automatically. mcrl2: -mcrl2: http://www.mcrl2.org/ +mcrl2: https://www.mcrl2.org/ mcrl2: mcrl2: |