summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science/logic
diff options
context:
space:
mode:
authorPavol Rusnak <pavol@rusnak.io>2020-11-01 23:39:49 +0100
committerJonathan Ringer <jonringer@users.noreply.github.com>2020-11-01 23:02:24 -0800
commit2c931312ce6c7baf91ec98e164bef0241fc20aa6 (patch)
tree6bf1c7d460aab2085256fd415e3f24734516683d /pkgs/applications/science/logic
parentc6afa8820b528cec7e889e462cbcab84c0313b41 (diff)
treewide: simplify rev/repo arguments in src
+ use fetchFromGithub where possible
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r--pkgs/applications/science/logic/potassco/clingcon.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/potassco/clingcon.nix b/pkgs/applications/science/logic/potassco/clingcon.nix
index 1203822d86e9..b74583ca1a2c 100644
--- a/pkgs/applications/science/logic/potassco/clingcon.nix
+++ b/pkgs/applications/science/logic/potassco/clingcon.nix
@@ -11,7 +11,7 @@ stdenv.mkDerivation rec {
src = fetchFromGitHub {
owner = "potassco";
- repo = "${pname}";
+ repo = pname;
rev = "v${version}";
fetchSubmodules = true;
sha256 = "1q7517h10jfvjdk2czq8d6y57r8kr1j1jj2k2ip2qxkpyfigk4rs";