svn commit: r459258 - head/science/bddsolve

[Ed Schouten]

Author: ed (src committer)
Date: Wed Jan 17 14:28:32 2018
New Revision: 459258
URL: https://svnweb.freebsd.org/changeset/ports/459258

Log:
  Upgrade bddsolve to version 1.04.
  
  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

Modified:
  head/science/bddsolve/Makefile
  head/science/bddsolve/distinfo

Modified: head/science/bddsolve/Makefile
==============================================================================
--- head/science/bddsolve/Makefile	Wed Jan 17 14:27:48 2018	(r459257)
+++ head/science/bddsolve/Makefile	Wed Jan 17 14:28:32 2018	(r459258)
@@ -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}

Modified: head/science/bddsolve/distinfo
==============================================================================
--- head/science/bddsolve/distinfo	Wed Jan 17 14:27:48 2018	(r459257)
+++ head/science/bddsolve/distinfo	Wed Jan 17 14:28:32 2018	(r459258)
@@ -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