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

academic/cryptominisat: Updated for version 5.7.1.

Browse source 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Alan Aversa 2020-05-09 09:19:28 +07:00 committed by Willy Sudiarto Raharjo
parent d82788bb26
commit 64172cd9f8
No known key found for this signature in database
GPG key ID: 887B8374D7333381
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
academic/cryptominisat/cryptominisat.SlackBuild
View file

@ -23,7 +23,7 @@
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
PRGNAM=cryptominisat PRGNAM=cryptominisat
VERSION=${VERSION:-5.6.8} VERSION=${VERSION:-5.7.1}
BUILD=${BUILD:-1} BUILD=${BUILD:-1}
TAG=${TAG:-_SBo} TAG=${TAG:-_SBo}

6
academic/cryptominisat/cryptominisat.info
View file

@ -1,8 +1,8 @@
PRGNAM="cryptominisat" PRGNAM="cryptominisat"
VERSION="5.6.8" VERSION="5.7.1"
HOMEPAGE="https://www.msoos.org/cryptominisat5/" HOMEPAGE="https://www.msoos.org/cryptominisat5/"
DOWNLOAD="https://github.com/msoos/cryptominisat/archive/5.6.8/cryptominisat-5.6.8.tar.gz" DOWNLOAD="https://github.com/msoos/cryptominisat/archive/5.7.1/cryptominisat-5.7.1.tar.gz"
MD5SUM="ca1bf853e568c19968daa5464ab86843" MD5SUM="e4ff835bbfe1995cc5e62a6e464dfd98"
DOWNLOAD_x86_64="" DOWNLOAD_x86_64=""
MD5SUM_x86_64="" MD5SUM_x86_64=""
REQUIRES="" REQUIRES=""