diff options
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/libraries/gf2x/default.nix | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/pkgs/development/libraries/gf2x/default.nix b/pkgs/development/libraries/gf2x/default.nix index a94db716e9e..70d06c107fd 100644 --- a/pkgs/development/libraries/gf2x/default.nix +++ b/pkgs/development/libraries/gf2x/default.nix @@ -1,6 +1,6 @@ { stdenv , lib -, fetchgit +, fetchFromGitLab , autoreconfHook , buildPackages , optimize ? false # impure hardware optimizations @@ -9,9 +9,11 @@ stdenv.mkDerivation rec { pname = "gf2x"; version = "1.3.0"; - src = fetchgit { - url = "https://gitlab.inria.fr/gf2x/gf2x"; - rev = "gf2x-${version}"; + src = fetchFromGitLab { + domain = "gitlab.inria.fr"; + owner = "gf2x"; + repo = pname; + rev = "${pname}-${version}"; sha256 = "04g5jg0i4vz46b4w2dvbmahwzi3k6b8g515mfw7im1inc78s14id"; }; |