tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
coqPackages.QuickChick: use fetchFromGitHub
John Wiegley
8 years ago
9186aa1b
da97c73f
+4
-3
1 changed file
expand all
collapse all
unified
split
pkgs
development
coq-modules
QuickChick
default.nix
+4
-3
pkgs/development/coq-modules/QuickChick/default.nix
···
1
1
-
{ stdenv, fetchgit, coq, ssreflect }:
1
1
+
{ stdenv, fetchFromGitHub, coq, ssreflect }:
2
2
3
3
let param =
4
4
{
···
27
27
28
28
name = "coq${coq.coq-version}-QuickChick-${param.version}";
29
29
30
30
-
src = fetchgit {
31
31
-
url = git://github.com/QuickChick/QuickChick.git;
30
30
+
src = fetchFromGitHub {
31
31
+
owner = "QuickChick";
32
32
+
repo = "QuickChick";
32
33
inherit (param) rev sha256;
33
34
};
34
35