treewide: remove redundant rec

2019-08-28 11:07:32 +00:00
parent 5061fe0c2c
commit 08f68313a4
1875 changed files with 2591 additions and 2596 deletions
@@ -14,7 +14,7 @@ let params =
      sha256 = "0fri4nih40vfb0fbr82dsi631ydkw48xszinq43lyinpknf54y17";
    };

-    "8.8" = rec {
+    "8.8" = {
      version = "20190311";
      rev = "22af9e9a223d0038f05638654422e637e863b355";
      sha256 = "00rnr19lg6lg0haq1sy4ld38p7imzand6fc52fvfq27gblxkp2aq";
@@ -31,7 +31,7 @@ in

 let recent = stdenv.lib.versionAtLeast coq.coq-version "8.8"; in

-stdenv.mkDerivation rec {
+stdenv.mkDerivation {

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