diff options
| author | Ed Schouten <ed@FreeBSD.org> | 2018-01-17 14:28:32 +0000 |
|---|---|---|
| committer | Ed Schouten <ed@FreeBSD.org> | 2018-01-17 14:28:32 +0000 |
| commit | 11002e833a39849184f2f8235be95f1ec67a25df (patch) | |
| tree | 4ef4f55d2b655eb588c0c0413da40f73085bc3b3 /science/bddsolve | |
| parent | e08ef4944b55fb4e8caa31c7644c6ba3f6d9ecea (diff) | |
| download | ports-11002e833a39849184f2f8235be95f1ec67a25df.tar.gz ports-11002e833a39849184f2f8235be95f1ec67a25df.zip | |
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
Notes
Notes:
svn path=/head/; revision=459258
Diffstat (limited to 'science/bddsolve')
| -rw-r--r-- | science/bddsolve/Makefile | 3 | ||||
| -rw-r--r-- | science/bddsolve/distinfo | 5 |
2 files changed, 4 insertions, 4 deletions
diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile index 80d2f55d3863..99a453ba3124 100644 --- a/science/bddsolve/Makefile +++ b/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} diff --git a/science/bddsolve/distinfo b/science/bddsolve/distinfo index 2b9efd94e71c..410c9efa2723 100644 --- a/science/bddsolve/distinfo +++ b/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 |