summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science/logic
diff options
context:
space:
mode:
authorFrederik Rietdijk <fridh@fridh.nl>2020-11-03 12:06:41 +0100
committerFrederik Rietdijk <fridh@fridh.nl>2020-11-03 12:06:41 +0100
commit470f05cb5d9c88ae1de04b31fa63c8739b92b854 (patch)
treeb314b36e56a7d546399303f5217eb232867192f0 /pkgs/applications/science/logic
parentb810a5d23c4575439b89d55e18fa07605fe99ddf (diff)
parent237966224d5147ffcb7c51710fff10cf31da8f6f (diff)
Merge staging-next into staging
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";