Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-16 19:50:19 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

academic/ladr: Switch homepage and download to https.

Browse source 
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
This commit is contained in:
David Spencer 2018-10-05 20:40:24 +01:00 committed by Willy Sudiarto Raharjo
parent fab667c719
commit 4bb8150d9d
No known key found for this signature in database
GPG key ID: 887B8374D7333381
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
academic/ladr/ladr.info
View file

@ -1,7 +1,7 @@
PRGNAM="ladr" PRGNAM="ladr"
VERSION="2009_11A" VERSION="2009_11A"
HOMEPAGE="http://www.cs.unm.edu/~mccune/prover9/" HOMEPAGE="https://www.cs.unm.edu/~mccune/prover9/"
DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz" DOWNLOAD="https://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz"
MD5SUM="ab409f31ecbb4410b1c7d75deadea2c6" MD5SUM="ab409f31ecbb4410b1c7d75deadea2c6"
DOWNLOAD_x86_64="" DOWNLOAD_x86_64=""
MD5SUM_x86_64="" MD5SUM_x86_64=""

2
academic/ladr/slack-desc
View file

@ -13,7 +13,7 @@ ladr: - prover 9 (automated theorem prover for first-order and equational
ladr: logic) ladr: logic)
ladr: - mace4 (search for finite models and counterexamples) ladr: - mace4 (search for finite models and counterexamples)
ladr: ladr:
ladr: Homepage: http://www.cs.unm.edu/~mccune/prover9/ ladr: Homepage: https://www.cs.unm.edu/~mccune/prover9/
ladr: ladr:
ladr: ladr:
ladr: ladr: