cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/cryptominisat: Update to 5.6.3.

Browse Source 
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16645
This commit is contained in:
Gleb Popov 2018-08-10 09:24:41 +00:00
parent 9faa0183f5
commit 19006ddb57
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=476818
4 changed files with 8 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
math/cryptominisat/Makefile
View File

@ -1,8 +1,7 @@
# $FreeBSD$
PORTNAME= cryptominisat
DISTVERSION= 5.6.1
PORTREVISION= 2
DISTVERSION= 5.6.3
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org

6
math/cryptominisat/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1528624412
SHA256 (msoos-cryptominisat-5.6.1_GH0.tar.gz) = f86c1cc94abcb9b9f9227fab2ea29f869b0b47f8dc83946e06e7d98b97cac2aa
SIZE (msoos-cryptominisat-5.6.1_GH0.tar.gz) = 675234
TIMESTAMP = 1533812522
SHA256 (msoos-cryptominisat-5.6.3_GH0.tar.gz) = c2fb4912cc8d8f3135af94581f11f30fd82347ee15ad8fb905e12a499e6fa87f
SIZE (msoos-cryptominisat-5.6.3_GH0.tar.gz) = 683713

3
math/py-cryptominisat/Makefile
View File

@ -1,8 +1,7 @@
# $FreeBSD$
PORTNAME= cryptominisat
DISTVERSION= 5.6.1
PORTREVISION= 1
DISTVERSION= 5.6.3
CATEGORIES= math python
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}

6
math/py-cryptominisat/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1528628948
SHA256 (msoos-cryptominisat-5.6.1_GH0.tar.gz) = f86c1cc94abcb9b9f9227fab2ea29f869b0b47f8dc83946e06e7d98b97cac2aa
SIZE (msoos-cryptominisat-5.6.1_GH0.tar.gz) = 675234
TIMESTAMP = 1533812572
SHA256 (msoos-cryptominisat-5.6.3_GH0.tar.gz) = c2fb4912cc8d8f3135af94581f11f30fd82347ee15ad8fb905e12a499e6fa87f
SIZE (msoos-cryptominisat-5.6.3_GH0.tar.gz) = 683713