This is an automated email from the git hooks/post-receive script.
bavier pushed a commit to branch master
in repository guix.
The following commit(s) were added to refs/heads/master by this push:
new 5269b7a91b gnu: gappa: Update to 1.4.0.
5269b7a91b is described below
commit 5269b7a91bf138283984fa624601fd9f3f9c063f
Author: Eric Bavier <[email protected]>
AuthorDate: Sat Feb 19 08:45:48 2022 -0600
gnu: gappa: Update to 1.4.0.
* gnu/packages/algebra.scm (gappa): Update to 1.4.0.
[license]: Update CeCILL version.
---
gnu/packages/algebra.scm | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm
index 0d34cfaf0f..1f87c4551b 100644
--- a/gnu/packages/algebra.scm
+++ b/gnu/packages/algebra.scm
@@ -7,7 +7,7 @@
;;; Copyright © 2017, 2020, 2021 Efraim Flashner <[email protected]>
;;; Copyright © 2017–2021 Tobias Geerinckx-Rice <[email protected]>
;;; Copyright © 2017 Marius Bakke <[email protected]>
-;;; Copyright © 2017, 2019, 2021 Eric Bavier <[email protected]>
+;;; Copyright © 2017, 2019, 2021, 2022 Eric Bavier <[email protected]>
;;; Copyright © 2019 Mathieu Othacehe <[email protected]>
;;; Copyright © 2020 Björn Höfling <[email protected]>
;;; Copyright © 2020 Jakub Kądziołka <[email protected]>
@@ -1348,14 +1348,14 @@ objects.")
(define-public gappa
(package
(name "gappa")
- (version "1.3.5")
+ (version "1.4.0")
(source (origin
(method url-fetch)
- (uri (string-append
"https://gforge.inria.fr/frs/download.php/latestfile/";
- "2699/gappa-" version ".tar.gz"))
+ (uri (string-append "https://gappa.gitlabpages.inria.fr/releases/";
+ "gappa-" version ".tar.gz"))
(sha256
(base32
- "0q1wdiwqj6fsbifaayb1zkp20bz8a1my81sqjsail577jmzwi07w"))))
+ "12x42z901pr05ldmparqdi8sq9s7fxbavhzk2dbq3l6hy247dwbb"))))
(build-system gnu-build-system)
(inputs
(list boost gmp mpfr))
@@ -1382,7 +1382,7 @@ filters for CGAL and it is used to certify elementary
functions in CRlibm.
While Gappa is intended to be used directly, it can also act as a backend
prover for the Why3 software verification platform or as an automatic tactic
for the Coq proof assistant.")
- (license (list license:gpl3+ license:cecill-c)))) ; either/or
+ (license (list license:gpl3+ license:cecill)))) ; either/or
(define-public givaro
(package
