treewide: remove redundant quotes

2019-09-08 23:38:31 +00:00
parent 4b929acf67
commit 7b8fb5c06c
387 changed files with 487 additions and 487 deletions
@@ -38,13 +38,13 @@ in
 stdenv.mkDerivation rec {

  name = "coq${coq.coq-version}-equations-${version}";
-  version = "${param.version}";
+  version = param.version;

  src = fetchFromGitHub {
    owner = "mattam82";
    repo = "Coq-Equations";
-    rev = "${param.rev}";
-    sha256 = "${param.sha256}";
+    rev = param.rev;
+    sha256 = param.sha256;
  };

  buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib coq ];