Page MenuHomeFreeBSD

D13951.id.diff
No OneTemporary

D13951.id.diff

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

File Metadata

Mime Type
text/plain
Expires
Fri, Jan 30, 5:39 PM (1 h, 7 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
28102978
Default Alt Text
D13951.id.diff (916 B)

Event Timeline