ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-07 23:46:13 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: brial: Use the source repository as home page.

Browse source 
* gnu/packages/sagemath.scm (brial)[home-page]: Use upstream repository.
This commit is contained in:
Tobias Geerinckx-Rice 2020-01-15 00:40:23 +01:00
parent 078d2d0da7
commit e170faa80f
No known key found for this signature in database
GPG key ID: D889B0F018C5493C
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gnu/packages/sagemath.scm
View file

@ -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