Merge pull request #35767 from ryantm/auto-update/libgap-4.8.3-to-4.8.6

libgap: 4.8.3 -> 4.8.6
This commit is contained in:
Frederik Rietdijk 2018-02-27 09:05:17 +00:00 committed by GitHub
commit 5175d8f5f7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,11 +1,11 @@
{stdenv, fetchurl, gmp}:
stdenv.mkDerivation rec {
name = "libgap-${version}";
version = "4.8.3";
version = "4.8.6";
# or fetchFromGitHub(owner,repo,rev) or fetchgit(rev)
src = fetchurl {
url = "http://mirrors.mit.edu/sage/spkg/upstream/libgap/libgap-${version}.tar.gz";
sha256 = "0ng4wlw7bj63spf4vkdp43v3ja1fp782lxzdsyf51x26z21idrsq";
sha256 = "1h5fx5a55857w583ql7ly2jl49qyx9mvs7j5abys00ra9gzrpn5v";
};
buildInputs = [gmp];
meta = {