From 078d2d0da7ed1f040a371d15cefff26e110aa920 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Wed, 15 Jan 2020 00:37:32 +0100
Subject: gnu: brial: Update to 1.2.6.
* gnu/packages/sagemath.scm (brial): Update to 1.2.6.
---
gnu/packages/sagemath.scm | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
(limited to 'gnu/packages/sagemath.scm')
diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm
index a749f5633a..0ebf30e83e 100644
--- a/gnu/packages/sagemath.scm
+++ b/gnu/packages/sagemath.scm
@@ -1,7 +1,7 @@
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2019 Andreas Enge <andreas@enge.fr>
;;; Copyright © 2019 Nicolas Goaziou <mail@nicolasgoaziou.fr>
-;;; Copyright © 2019 Tobias Geerinckx-Rice <me@tobias.gr>
+;;; Copyright © 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -332,7 +332,7 @@ (define-public zn-poly
(define-public brial
(package
(name "brial")
- (version "1.2.5")
+ (version "1.2.6")
(source
(origin
(method git-fetch)
@@ -341,8 +341,7 @@ (define-public brial
(commit version)))
(file-name (git-file-name name version))
(sha256
- (base32
- "1nv56fp3brpzanxj7vwvxqdafqfsfhdgq5imr3m94psw5gdfqwja"))))
+ (base32 "1mc1zjr3mxcx6bg0js5k9jx65japg7644b0aj1al75m4nwh2ygab"))))
(build-system gnu-build-system)
(native-inputs
`(("autoconf" ,autoconf)
--
cgit v1.2.3
From e170faa80f9264693859c82b7a8416955d0d88fe Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Wed, 15 Jan 2020 00:40:23 +0100
Subject: gnu: brial: Use the source repository as home page.
* gnu/packages/sagemath.scm (brial)[home-page]: Use upstream repository.
---
gnu/packages/sagemath.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'gnu/packages/sagemath.scm')
diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm
index 0ebf30e83e..4bafef13fe 100644
--- a/gnu/packages/sagemath.scm
+++ b/gnu/packages/sagemath.scm
@@ -364,7 +364,7 @@ (define-public brial
Boolean variables. As a unique approach, binary decision diagrams are
used as internal storage type for polynomial structures.")
(license license:gpl2+)
- (home-page "https://gitlab.com/sagemath/zn_poly")))
+ (home-page "https://github.com/BRiAl/BRiAl/")))
(define-public lcalc
(package
--
cgit v1.2.3
From 3799d46ccffff4f3114b53441d3510404d2a6075 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Wed, 15 Jan 2020 00:42:51 +0100
Subject: gnu: zn-poly: Update to 0.9.2.
* gnu/packages/sagemath.scm (zn-poly): Update to 0.9.2.
---
gnu/packages/sagemath.scm | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
(limited to 'gnu/packages/sagemath.scm')
diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm
index 4bafef13fe..2cc50f7b6a 100644
--- a/gnu/packages/sagemath.scm
+++ b/gnu/packages/sagemath.scm
@@ -275,7 +275,7 @@ (define-public pynac
(define-public zn-poly
(package
(name "zn-poly")
- (version "0.9.1")
+ (version "0.9.2")
(source
(origin
(method git-fetch)
@@ -285,8 +285,7 @@ (define-public zn-poly
(commit version)))
(file-name (git-file-name "zn_poly" version))
(sha256
- (base32
- "0ra5vy585bqq7g3317iw6fp44iqgqvds3j0l1va6mswimypq4vxb"))))
+ (base32 "1wbc3apxcldxfcw1dnwnn7fvlfb6bwvlr8glvgv6hf79p9r2s4j0"))))
(build-system gnu-build-system)
(native-inputs
`(("python" ,python-2)))
--
cgit v1.2.3