diff options
| author | David Spencer <idlemoor@slackbuilds.org> | 2018-05-02 22:56:15 +0100 |
|---|---|---|
| committer | David Spencer <idlemoor@slackbuilds.org> | 2018-05-02 22:56:15 +0100 |
| commit | 68165dba1040e7c283e5fdfd436da56672a0042a (patch) | |
| tree | 4a15eb2492af548bb0e1b449093689fa6f6ecf32 /development/mcrl2/mcrl2.info | |
| parent | d66ede22edaeb26f30f0f28e884ef2dbdd7d1f95 (diff) | |
development/mcrl2: Updated homepage and download.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'development/mcrl2/mcrl2.info')
| -rw-r--r-- | development/mcrl2/mcrl2.info | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/development/mcrl2/mcrl2.info b/development/mcrl2/mcrl2.info index 6c55df55e2a8..a5ea44ca71ac 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="" |