summaryrefslogtreecommitdiff
path: root/academic
diff options
context:
space:
mode:
authorDavid Spencer <idlemoor@slackbuilds.org>2018-10-05 20:40:24 +0100
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2018-10-06 07:25:21 +0700
commit4bb8150d9da6886e0def03ad73cb855edb4d13b1 (patch)
treeff14db34884248693c002fc9b0839784a107a1cf /academic
parentfab667c719561ec141f2ad24b2964003065cf895 (diff)
downloadslackbuilds-4bb8150d9da6886e0def03ad73cb855edb4d13b1.tar.gz
academic/ladr: Switch homepage and download to https.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'academic')
-rw-r--r--academic/ladr/ladr.info4
-rw-r--r--academic/ladr/slack-desc2
2 files changed, 3 insertions, 3 deletions
diff --git a/academic/ladr/ladr.info b/academic/ladr/ladr.info
index b1d5eafaa7..ce229f3444 100644
--- a/academic/ladr/ladr.info
+++ b/academic/ladr/ladr.info
@@ -1,7 +1,7 @@
PRGNAM="ladr"
VERSION="2009_11A"
-HOMEPAGE="http://www.cs.unm.edu/~mccune/prover9/"
-DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz"
+HOMEPAGE="https://www.cs.unm.edu/~mccune/prover9/"
+DOWNLOAD="https://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz"
MD5SUM="ab409f31ecbb4410b1c7d75deadea2c6"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
diff --git a/academic/ladr/slack-desc b/academic/ladr/slack-desc
index 43ff7ad13d..46161a5236 100644
--- a/academic/ladr/slack-desc
+++ b/academic/ladr/slack-desc
@@ -13,7 +13,7 @@ ladr: - prover 9 (automated theorem prover for first-order and equational
ladr: logic)
ladr: - mace4 (search for finite models and counterexamples)
ladr:
-ladr: Homepage: http://www.cs.unm.edu/~mccune/prover9/
+ladr: Homepage: https://www.cs.unm.edu/~mccune/prover9/
ladr:
ladr:
ladr: