svn commit: r550857 - in head/math: brial py-brial

[Thierry Thomas]

Author: thierry
Date: Thu Oct  1 18:20:26 2020
New Revision: 550857
URL: https://svnweb.freebsd.org/changeset/ports/550857

Log:
  Upgrade to 1.2.10 (revert system CUDD support).

Modified:
  head/math/brial/Makefile
  head/math/brial/distinfo
  head/math/brial/pkg-plist
  head/math/py-brial/Makefile
  head/math/py-brial/distinfo

Modified: head/math/brial/Makefile
==============================================================================
--- head/math/brial/Makefile	Thu Oct  1 18:12:22 2020	(r550856)
+++ head/math/brial/Makefile	Thu Oct  1 18:20:26 2020	(r550857)
@@ -2,7 +2,7 @@
 # $FreeBSD$
 
 PORTNAME=	BRiAl
-PORTVERSION=	1.2.9
+PORTVERSION=	1.2.10
 CATEGORIES=	math
 
 MAINTAINER=	thierry at FreeBSD.org

Modified: head/math/brial/distinfo
==============================================================================
--- head/math/brial/distinfo	Thu Oct  1 18:12:22 2020	(r550856)
+++ head/math/brial/distinfo	Thu Oct  1 18:20:26 2020	(r550857)
@@ -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

Modified: head/math/brial/pkg-plist
==============================================================================
--- head/math/brial/pkg-plist	Thu Oct  1 18:12:22 2020	(r550856)
+++ head/math/brial/pkg-plist	Thu Oct  1 18:20:26 2020	(r550857)
@@ -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

Modified: head/math/py-brial/Makefile
==============================================================================
--- head/math/py-brial/Makefile	Thu Oct  1 18:12:22 2020	(r550856)
+++ head/math/py-brial/Makefile	Thu Oct  1 18:20:26 2020	(r550857)
@@ -2,7 +2,7 @@
 # $FreeBSD$
 
 PORTNAME=	brial
-PORTVERSION=	1.2.9
+PORTVERSION=	1.2.10
 CATEGORIES=	math python
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 

Modified: head/math/py-brial/distinfo
==============================================================================
--- head/math/py-brial/distinfo	Thu Oct  1 18:12:22 2020	(r550856)
+++ head/math/py-brial/distinfo	Thu Oct  1 18:20:26 2020	(r550857)
@@ -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