From 4bb8150d9da6886e0def03ad73cb855edb4d13b1 Mon Sep 17 00:00:00 2001 From: David Spencer Date: Fri, 5 Oct 2018 20:40:24 +0100 Subject: academic/ladr: Switch homepage and download to https. Signed-off-by: David Spencer --- academic/ladr/ladr.info | 4 ++-- academic/ladr/slack-desc | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'academic/ladr') 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: -- cgit v1.2.3