Index: head/science/bddsolve/Makefile
===================================================================
--- head/science/bddsolve/Makefile	(revision 459257)
+++ head/science/bddsolve/Makefile	(revision 459258)
@@ -1,37 +1,36 @@
 # Created by: Ed Schouten <ed@FreeBSD.org>
 # $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}
 
 MAINTAINER=	ed@FreeBSD.org
 COMMENT=	BDD-based satisfiability and reachability solver
 
 BROKEN_powerpc64=	Does not build
 
 LIB_DEPENDS+=	libbdd.so:science/buddy \
 		libboost_program_options.so:devel/boost-libs
 
 USES=		zip
 NO_WRKSUBDIR=	yes
 CFLAGS+=	-I${LOCALBASE}/include -I${WRKSRC}/include
 LDFLAGS+=	-L${LOCALBASE}/lib -lbdd -lboost_program_options
 BROKEN_powerpc=	Does not compile due to running out of virtual memory
 
 OPTIONS_DEFINE=	EXAMPLES
 
 do-build:
 	${SETENV} ${MAKE_ENV} ${CXX} ${CXXFLAGS} ${LDFLAGS} \
 		-o ${WRKSRC}/bddsolve ${WRKSRC}/src/bddsolve.cpp
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/bddsolve ${STAGEDIR}${PREFIX}/bin
 	@${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
 	${INSTALL_DATA} ${WRKSRC}/example/reach.b ${STAGEDIR}${EXAMPLESDIR}
 	${INSTALL_DATA} ${WRKSRC}/example/sat.b ${STAGEDIR}${EXAMPLESDIR}
 
 .include <bsd.port.mk>
Index: head/science/bddsolve/distinfo
===================================================================
--- head/science/bddsolve/distinfo	(revision 459257)
+++ head/science/bddsolve/distinfo	(revision 459258)
@@ -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