freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Upgrade to 1.2.10 (revert system CUDD support).

Browse Source
This commit is contained in:
Thierry Thomas
2020-10-01 18:20:26 +00:00
parent c0df4ba108
commit ca4e8b5ee5
5 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
math/brial/Makefile
+1 -1
View File
@@ -2,7 +2,7 @@
# $FreeBSD$
PORTNAME= BRiAl
PORTVERSION= 1.2.9
PORTVERSION= 1.2.10
CATEGORIES= math
MAINTAINER= thierry@FreeBSD.org
math/brial/distinfo
+3 -3
View File
@@ -1,3 +1,3 @@
TIMESTAMP = 1601045149
SHA256 (BRiAl-BRiAl-1.2.9_GH0.tar.gz) = 785b5ca7a9bab0272acdbe112deb7599e655545e6993e7a604b1d74fda7ed793
SIZE (BRiAl-BRiAl-1.2.9_GH0.tar.gz) = 1723607
TIMESTAMP = 1601575781
SHA256 (BRiAl-BRiAl-1.2.10_GH0.tar.gz) = 37de1ec013791650a466486b08a735c1575a47794c138e1ea4944188b33e3de9
SIZE (BRiAl-BRiAl-1.2.10_GH0.tar.gz) = 1723552
math/brial/pkg-plist
+4 -4
View File
@@ -26,8 +26,8 @@ include/polybori/common/traits.h
include/polybori/config.h
include/polybori/cudd/cudd.h
include/polybori/cudd/cuddInt.h
include/polybori/cuddaux/prefix_internal.h
include/polybori/cuddaux/prefix.h
include/polybori/cudd/prefix.h
include/polybori/cudd/prefix_internal.h
include/polybori/diagram/CApplyNodeFacade.h
include/polybori/diagram/CCuddDDFacade.h
include/polybori/diagram/CDDOperations.h
@@ -189,8 +189,8 @@ include/polybori/routines/pbori_routines_order.h
lib/libbrial.a
lib/libbrial.so
lib/libbrial.so.3
lib/libbrial.so.3.0.5
lib/libbrial.so.3.0.6
lib/libbrial_groebner.a
lib/libbrial_groebner.so
lib/libbrial_groebner.so.3
lib/libbrial_groebner.so.3.0.5
lib/libbrial_groebner.so.3.0.6
math/py-brial/Makefile
+1 -1
View File
@@ -2,7 +2,7 @@
# $FreeBSD$
PORTNAME= brial
PORTVERSION= 1.2.9
PORTVERSION= 1.2.10
CATEGORIES= math python
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
math/py-brial/distinfo
+3 -3
View File
@@ -1,3 +1,3 @@
TIMESTAMP = 1601046151
SHA256 (BRiAl-BRiAl-1.2.9_GH0.tar.gz) = 785b5ca7a9bab0272acdbe112deb7599e655545e6993e7a604b1d74fda7ed793
SIZE (BRiAl-BRiAl-1.2.9_GH0.tar.gz) = 1723607
TIMESTAMP = 1601576279
SHA256 (BRiAl-BRiAl-1.2.10_GH0.tar.gz) = 37de1ec013791650a466486b08a735c1575a47794c138e1ea4944188b33e3de9
SIZE (BRiAl-BRiAl-1.2.10_GH0.tar.gz) = 1723552