Upgrade to 1.2.9.

Release notes at <https://github.com/BRiAl/BRiAl/releases/tag/1.2.9>.
This commit is contained in:
Thierry Thomas 2020-09-25 15:08:09 +00:00
parent 9a53a86776
commit 1245e70b97
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=550046
5 changed files with 12 additions and 13 deletions

View File

@ -2,8 +2,7 @@
# $FreeBSD$
PORTNAME= BRiAl
PORTVERSION= 1.2.8
PORTREVISION= 1
PORTVERSION= 1.2.9
CATEGORIES= math
MAINTAINER= thierry@FreeBSD.org

View File

@ -1,3 +1,3 @@
TIMESTAMP = 1585668283
SHA256 (BRiAl-BRiAl-1.2.8_GH0.tar.gz) = bf888574ea0deccd8cc55025bac112189409cb309937824717a458304f290e6a
SIZE (BRiAl-BRiAl-1.2.8_GH0.tar.gz) = 1721549
TIMESTAMP = 1601045149
SHA256 (BRiAl-BRiAl-1.2.9_GH0.tar.gz) = 785b5ca7a9bab0272acdbe112deb7599e655545e6993e7a604b1d74fda7ed793
SIZE (BRiAl-BRiAl-1.2.9_GH0.tar.gz) = 1723607

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/cudd/prefix.h
include/polybori/cudd/prefix_internal.h
include/polybori/cuddaux/prefix_internal.h
include/polybori/cuddaux/prefix.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.4
lib/libbrial.so.3.0.5
lib/libbrial_groebner.a
lib/libbrial_groebner.so
lib/libbrial_groebner.so.3
lib/libbrial_groebner.so.3.0.4
lib/libbrial_groebner.so.3.0.5

View File

@ -2,7 +2,7 @@
# $FreeBSD$
PORTNAME= brial
PORTVERSION= 1.2.8
PORTVERSION= 1.2.9
CATEGORIES= math python
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}

View File

@ -1,3 +1,3 @@
TIMESTAMP = 1585668283
SHA256 (BRiAl-BRiAl-1.2.8_GH0.tar.gz) = bf888574ea0deccd8cc55025bac112189409cb309937824717a458304f290e6a
SIZE (BRiAl-BRiAl-1.2.8_GH0.tar.gz) = 1721549
TIMESTAMP = 1601046151
SHA256 (BRiAl-BRiAl-1.2.9_GH0.tar.gz) = 785b5ca7a9bab0272acdbe112deb7599e655545e6993e7a604b1d74fda7ed793
SIZE (BRiAl-BRiAl-1.2.9_GH0.tar.gz) = 1723607