diff options
| author | John Wiegley <johnw@newartisans.com> | 2018-03-06 07:17:06 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2018-03-06 07:46:51 -0800 |
| commit | 9186aa1bf8bd579d7f8016d19433c8c5e0cd84b6 (patch) | |
| tree | 00af39daeabaf738def5727206625eb14de7c223 /pkgs/development/coq-modules | |
| parent | da97c73fb3576930712463d420fd23e6d7d69fc0 (diff) | |
| download | nixpkgs-9186aa1bf8bd579d7f8016d19433c8c5e0cd84b6.tar nixpkgs-9186aa1bf8bd579d7f8016d19433c8c5e0cd84b6.tar.gz nixpkgs-9186aa1bf8bd579d7f8016d19433c8c5e0cd84b6.tar.bz2 nixpkgs-9186aa1bf8bd579d7f8016d19433c8c5e0cd84b6.tar.lz nixpkgs-9186aa1bf8bd579d7f8016d19433c8c5e0cd84b6.tar.xz nixpkgs-9186aa1bf8bd579d7f8016d19433c8c5e0cd84b6.tar.zst nixpkgs-9186aa1bf8bd579d7f8016d19433c8c5e0cd84b6.zip | |
coqPackages.QuickChick: use fetchFromGitHub
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/QuickChick/default.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/development/coq-modules/QuickChick/default.nix b/pkgs/development/coq-modules/QuickChick/default.nix index 2a0c3ade561..72603ad4485 100644 --- a/pkgs/development/coq-modules/QuickChick/default.nix +++ b/pkgs/development/coq-modules/QuickChick/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchgit, coq, ssreflect }: +{ stdenv, fetchFromGitHub, coq, ssreflect }: let param = { @@ -27,8 +27,9 @@ stdenv.mkDerivation rec { name = "coq${coq.coq-version}-QuickChick-${param.version}"; - src = fetchgit { - url = git://github.com/QuickChick/QuickChick.git; + src = fetchFromGitHub { + owner = "QuickChick"; + repo = "QuickChick"; inherit (param) rev sha256; }; |