Merge pull request #43230 from timokau/gf2x-1.2

gf2x: 1.1 -> 1.2
This commit is contained in:
Michael Raskin 2018-07-10 03:50:45 +00:00 committed by GitHub
commit 81c18c1b07
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,18 +1,19 @@
{stdenv, fetchurl}: {stdenv, fetchurl}:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "gf2x-${version}"; name = "gf2x-${version}";
version = "1.1"; version = "1.2";
# or fetchFromGitHub(owner,repo,rev) or fetchgit(rev)
src = fetchurl { src = fetchurl {
url = "https://gforge.inria.fr/frs/download.php/file/30873/gf2x-1.1.tar.gz"; # find link to latest version (with file id) here: https://gforge.inria.fr/projects/gf2x/
sha256 = "17w4b39j9dvri5s278pxi8ha7mf47j87kq1lr802l4408rh02gqd"; url = "https://gforge.inria.fr/frs/download.php/file/36934/gf2x-1.2.tar.gz";
sha256 = "0d6vh1mxskvv3bxl6byp7gxxw3zzpkldrxnyajhnl05m0gx7yhk1";
}; };
meta = { meta = with stdenv.lib; {
description = ''Routines for fast arithmetic in GF(2)[x]''; description = ''Routines for fast arithmetic in GF(2)[x]'';
license = stdenv.lib.licenses.gpl2Plus; homepage = http://gf2x.gforge.inria.fr;
maintainers = [stdenv.lib.maintainers.raskin]; license = licenses.gpl2Plus;
platforms = ["x86_64-linux"]; maintainers = with maintainers; [ raskin ];
platforms = platforms.linux;
}; };
} }