treewide: simplify rev/repo arguments in src

+ use fetchFromGithub where possible
2020-11-01 23:02:24 -08:00
parent c6afa8820b
commit 2c931312ce
86 changed files with 148 additions and 134 deletions
@@ -21,7 +21,7 @@ in stdenv.mkDerivation rec {
  src = fetchFromGitHub {
    owner = "acl2-devel";
    repo = "acl2-devel";
-    rev = "${version}";
+    rev = version;
    sha256 = "0c0wimaf16nrr3d6cxq6p7nr7rxffvpmn66hkpwc1m6zpcipf0y5";
  };