sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-17 17:29:23 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

- Update to 5.0.1

Browse source 
PR:		212601
Submitted by:	6yearold@gmail.com (maintainer)
This commit is contained in:
Dmitry Marakasov 2016-11-11 19:43:03 +00:00
parent 17b4fb8b16
commit ff07470743
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=425907
3 changed files with 8 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
math/cryptominisat/Makefile
View file

@ -1,14 +1,15 @@
# $FreeBSD$
PORTNAME= cryptominisat
PORTVERSION= 5.0.0
PORTVERSION= 5.0.1
CATEGORIES= math
MAINTAINER= 6yearold@gmail.com
COMMENT= General-purpose award-winning SAT solver
LICENSE= LGPL3
LICENSE_FILE= ${WRKSRC}/LICENSE
LICENSE= MIT LGPL21
LICENSE_COMB= multi
LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE-SCALMC
BUILD_DEPENDS= xxd:editors/vim-lite # for xxd tool
LIB_DEPENDS= libboost_program_options.so:devel/boost-libs

6
math/cryptominisat/distinfo
View file

@ -1,3 +1,3 @@
TIMESTAMP = 1469882294
SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910
SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712
TIMESTAMP = 1473692160
SHA256 (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 789d53c90ecbd5910f48e4e1bd835e374b268e0b3872a81fd5c6178a30a5e263
SIZE (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 596710

1
math/cryptominisat/pkg-plist
View file

@ -1,6 +1,7 @@
bin/cryptominisat5
bin/cryptominisat5_simple
include/cryptominisat5/cryptominisat.h
include/cryptominisat5/cryptominisat_c.h
include/cryptominisat5/solvertypesmini.h
lib/cmake/cryptominisat5/cryptominisat5Config.cmake
lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake