summaryrefslogtreecommitdiff
path: root/academic/ladr/ladr.info
diff options
context:
space:
mode:
Diffstat (limited to 'academic/ladr/ladr.info')
-rw-r--r--academic/ladr/ladr.info4
1 files changed, 2 insertions, 2 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=""