diff options
| author | David Spencer <idlemoor@slackbuilds.org> | 2018-10-05 20:40:24 +0100 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2018-10-06 07:25:21 +0700 |
| commit | 4bb8150d9da6886e0def03ad73cb855edb4d13b1 (patch) | |
| tree | ff14db34884248693c002fc9b0839784a107a1cf /academic/ladr/ladr.info | |
| parent | fab667c719561ec141f2ad24b2964003065cf895 (diff) | |
academic/ladr: Switch homepage and download to https.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'academic/ladr/ladr.info')
| -rw-r--r-- | academic/ladr/ladr.info | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/academic/ladr/ladr.info b/academic/ladr/ladr.info index b1d5eafaa710a..ce229f3444194 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="" |