Index: head/science/bddsolve/Makefile
===================================================================
--- head/science/bddsolve/Makefile
+++ head/science/bddsolve/Makefile
@@ -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}
Index: head/science/bddsolve/distinfo
===================================================================
--- head/science/bddsolve/distinfo
+++ head/science/bddsolve/distinfo
@@ -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