kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Upgrade bddsolve to version 1.04.

Browse source 
This release includes a fix that should make it build with C++14.

PR:   216080
Reviewed by:	jbeich
Differential Revision:	https://reviews.freebsd.org/D13951
This commit is contained in:
Ed Schouten 2018-01-17 14:28:32 +00:00
parent e08ef4944b
commit 11002e833a
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=459258
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
science/bddsolve/Makefile
View file

@ -2,8 +2,7 @@
# $FreeBSD$
PORTNAME= bddsolve
PORTVERSION= 1.03
PORTREVISION= 6
PORTVERSION= 1.04
CATEGORIES= science
MASTER_SITES= http://www.win.tue.nl/~wieger/bddsolve/_downloads/
DISTNAME= ${PORTNAME}-source-${PORTVERSION}

5
science/bddsolve/distinfo
View file

@ -1,2 +1,3 @@
SHA256 (bddsolve-source-1.03.zip) = 39af26667feebeafb6dc0dc7baadfe3d28b93b81bc9263887ceb33ab8641a068
SIZE (bddsolve-source-1.03.zip) = 18440
TIMESTAMP = 1516181302
SHA256 (bddsolve-source-1.04.zip) = 83fc84063a7fc9b2c8afaa12fab1a81d7b950be438381af14a34dc037d315615
SIZE (bddsolve-source-1.04.zip) = 18446