pantheon: use repoName

Now these expressions don't look so weird.
2019-08-05 18:41:32 -04:00
parent 57d6508512
commit 52fa0c2cc5
24 changed files with 115 additions and 117 deletions
@@ -4,8 +4,6 @@ stdenv.mkDerivation rec {
  pname = "extra-elementary-contracts";
  version = "2018-08-21";

-  name = "${pname}-${version}";
-
  src = fetchFromGitHub {
    owner = "worldofpeace";
    repo = pname;