brial: 1.2.7 -> 1.2.8

This commit is contained in:
R. RyanTM 2020-03-17 01:13:50 +00:00
parent 93144e0f4a
commit 707e0b1e96

@ -8,14 +8,14 @@
}:
stdenv.mkDerivation rec {
version = "1.2.7";
version = "1.2.8";
pname = "brial";
src = fetchFromGitHub {
owner = "BRiAl";
repo = "BRiAl";
rev = version;
sha256 = "1s0wmbb42sq6a5kxgzsz5srphclmfa4cvxdx2h9kzp0da2zcp3cm";
sha256 = "0qhgckd4fvbs40jw14mvw89rccv94d3df27kipd27hxd4cx7y80y";
};
# FIXME package boost-test and enable checks
@ -37,7 +37,7 @@ stdenv.mkDerivation rec {
];
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";
license = licenses.gpl2Plus;
maintainers = with maintainers; [ timokau ];