mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-30 05:40:06 +00:00
Code Issues Releases Activity

math/cryptominisat and math/py-cryptominisat: Update to 5.7.1

Browse Source 
Bump PORTREVISIONs of consumer ports.
This commit is contained in:
Gleb Popov 2020-07-09 15:44:39 +00:00
parent d691c9d0e1
commit 16693b1f60
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=541757
8 changed files with 12 additions and 13 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.8
PORTREVISION= 6
DISTVERSION= 5.7.1
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org

6
math/cryptominisat/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1550904410
SHA256 (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 38add382c2257b702bdd4f1edf73544f29efc6e050516b6cacd2d81e35744b55
SIZE (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 701037
TIMESTAMP = 1594302622
SHA256 (msoos-cryptominisat-5.7.1_GH0.tar.gz) = d09f118a3d4392e3352a6285f600a5897e301b186a764404a37a911f4d91528e
SIZE (msoos-cryptominisat-5.7.1_GH0.tar.gz) = 882748

2
math/cryptominisat/pkg-plist
View File

@ -9,4 +9,4 @@ lib/cmake/cryptominisat5/cryptominisat5Config.cmake
lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake
lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
lib/libcryptominisat5.so
lib/libcryptominisat5.so.5.6
lib/libcryptominisat5.so.5.7

2
math/cvc4/Makefile
View File

@ -2,7 +2,7 @@
PORTNAME= cvc4
DISTVERSION= 1.7
PORTREVISION= 3
PORTREVISION= 4
CATEGORIES= math java
MASTER_SITES+= http://www.antlr3.org/download/:antlr3
DISTFILES+= antlr-3.4-complete.jar:antlr3

3
math/py-cryptominisat/Makefile
View File

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

6
math/py-cryptominisat/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1550905881
SHA256 (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 38add382c2257b702bdd4f1edf73544f29efc6e050516b6cacd2d81e35744b55
SIZE (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 701037
TIMESTAMP = 1594302755
SHA256 (msoos-cryptominisat-5.7.1_GH0.tar.gz) = d09f118a3d4392e3352a6285f600a5897e301b186a764404a37a911f4d91528e
SIZE (msoos-cryptominisat-5.7.1_GH0.tar.gz) = 882748

2
math/stp/Makefile
View File

@ -3,7 +3,7 @@
PORTNAME= stp
DISTVERSION= 2.3.3
PORTREVISION= 5
PORTREVISION= 6
PORTEPOCH= 1
CATEGORIES= math

1
security/klee/Makefile
View File

@ -3,6 +3,7 @@
PORTNAME= klee
DISTVERSIONPREFIX= v
DISTVERSION= 2.1
PORTREVISION= 1
CATEGORIES= security devel
MAINTAINER= arrowd@FreeBSD.org