diff options
| author | Thierry Thomas <thierry@FreeBSD.org> | 2020-10-01 18:20:26 +0000 |
|---|---|---|
| committer | Thierry Thomas <thierry@FreeBSD.org> | 2020-10-01 18:20:26 +0000 |
| commit | ca4e8b5ee5fcffc5830e1e72f252ac49f3f1fcdb (patch) | |
| tree | 06b76e022f716e0227673b45fdedd5a76a0eb9bf | |
| parent | Upgrade to r121. (diff) | |
Upgrade to 1.2.10 (revert system CUDD support).
| -rw-r--r-- | math/brial/Makefile | 2 | ||||
| -rw-r--r-- | math/brial/distinfo | 6 | ||||
| -rw-r--r-- | math/brial/pkg-plist | 8 | ||||
| -rw-r--r-- | math/py-brial/Makefile | 2 | ||||
| -rw-r--r-- | math/py-brial/distinfo | 6 |
5 files changed, 12 insertions, 12 deletions
diff --git a/math/brial/Makefile b/math/brial/Makefile index 3109618aa287..c43aa1663c89 100644 --- a/math/brial/Makefile +++ b/math/brial/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= BRiAl -PORTVERSION= 1.2.9 +PORTVERSION= 1.2.10 CATEGORIES= math MAINTAINER= thierry@FreeBSD.org diff --git a/math/brial/distinfo b/math/brial/distinfo index bc500aa693a8..1984a8ad9e1f 100644 --- a/math/brial/distinfo +++ b/math/brial/distinfo @@ -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 diff --git a/math/brial/pkg-plist b/math/brial/pkg-plist index 0f8f86de6d62..ec13b0cce5dc 100644 --- a/math/brial/pkg-plist +++ b/math/brial/pkg-plist @@ -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 diff --git a/math/py-brial/Makefile b/math/py-brial/Makefile index 2108902fa677..1cc44ac66812 100644 --- a/math/py-brial/Makefile +++ b/math/py-brial/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= brial -PORTVERSION= 1.2.9 +PORTVERSION= 1.2.10 CATEGORIES= math python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/py-brial/distinfo b/math/py-brial/distinfo index 7802ac903fd3..9731b1c77f0e 100644 --- a/math/py-brial/distinfo +++ b/math/py-brial/distinfo @@ -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 |