Merge pull request #63256 from r-ryantm/auto-update/givaro

givaro: 4.1.0 -> 4.1.1
This commit is contained in:
Michael Raskin 2019-06-20 06:51:23 +00:00 committed by GitHub
commit 5784f9beb5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,12 +2,12 @@
stdenv.mkDerivation rec {
name = "${pname}-${version}";
pname = "givaro";
version = "4.1.0";
version = "4.1.1";
src = fetchFromGitHub {
owner = "linbox-team";
repo = "${pname}";
rev = "v${version}";
sha256 = "1l1172c964hni66mjdmhr7766l5k7y63zs3hgcpr10a8f1nx3iwp";
sha256 = "11wz57q6ijsvfs5r82masxgr319as92syi78lnl9lgdblpc6xigk";
};
enableParallelBuilding = true;