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/slack-desc | |
parent | fab667c719561ec141f2ad24b2964003065cf895 (diff) | |
download | slackbuilds-4bb8150d9da6886e0def03ad73cb855edb4d13b1.tar.gz slackbuilds-4bb8150d9da6886e0def03ad73cb855edb4d13b1.tar.xz |
academic/ladr: Switch homepage and download to https.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'academic/ladr/slack-desc')
-rw-r--r-- | academic/ladr/slack-desc | 2 |
1 files changed, 1 insertions, 1 deletions
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: |