Merge pull request #82766 from r-ryantm/auto-update/brial

brial: 1.2.7 -> 1.2.8
This commit is contained in:
Timo Kaufmann 2020-03-17 14:29:02 +00:00 committed by GitHub
commit d8d0b60c22
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,14 +8,14 @@
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "1.2.7"; version = "1.2.8";
pname = "brial"; pname = "brial";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "BRiAl"; owner = "BRiAl";
repo = "BRiAl"; repo = "BRiAl";
rev = version; rev = version;
sha256 = "1s0wmbb42sq6a5kxgzsz5srphclmfa4cvxdx2h9kzp0da2zcp3cm"; sha256 = "0qhgckd4fvbs40jw14mvw89rccv94d3df27kipd27hxd4cx7y80y";
}; };
# FIXME package boost-test and enable checks # FIXME package boost-test and enable checks
@ -37,7 +37,7 @@ stdenv.mkDerivation rec {
]; ];
meta = with stdenv.lib; { meta = with stdenv.lib; {
homepage = https://github.com/BRiAl/BRiAl; homepage = "https://github.com/BRiAl/BRiAl";
description = "Legacy version of PolyBoRi maintained by sagemath developers"; description = "Legacy version of PolyBoRi maintained by sagemath developers";
license = licenses.gpl2Plus; license = licenses.gpl2Plus;
maintainers = with maintainers; [ timokau ]; maintainers = with maintainers; [ timokau ];