coqPackages.*: fix formatting fix

2025-06-30 11:57:40 +02:00 · 2025-06-30 11:57:40 +02:00 · 7321d5dc7b
commit 7321d5dc7b
parent b4ef55eddf
20 changed files with 24 additions and 24 deletions
--- a/pkgs/development/coq-modules/coqeal/default.nix
+++ b/pkgs/development/coq-modules/coqeal/default.nix
@ -19,7 +19,7 @@ let
    defaultVersion =
      let
        case = coq: mc: out: {
-          case = [
+          cases = [
            coq
            mc
          ];
--- a/pkgs/development/coq-modules/deriving/default.nix
+++ b/pkgs/development/coq-modules/deriving/default.nix
@ -15,7 +15,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/extructures/default.nix
+++ b/pkgs/development/coq-modules/extructures/default.nix
@ -15,7 +15,7 @@
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/fourcolor/default.nix
+++ b/pkgs/development/coq-modules/fourcolor/default.nix
@ -24,7 +24,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/gaia/default.nix
+++ b/pkgs/development/coq-modules/gaia/default.nix
@ -24,7 +24,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/graph-theory/default.nix
+++ b/pkgs/development/coq-modules/graph-theory/default.nix
@ -26,7 +26,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/jasmin/default.nix
+++ b/pkgs/development/coq-modules/jasmin/default.nix
@ -16,7 +16,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/mathcomp-abel/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-abel/default.nix
@ -20,7 +20,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix
@ -21,7 +21,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/mathcomp-analysis/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-analysis/default.nix
@ -46,7 +46,7 @@ let
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/mathcomp-apery/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-apery/default.nix
@ -19,7 +19,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/mathcomp-finmap/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-finmap/default.nix
@ -18,7 +18,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/mathcomp-infotheo/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-infotheo/default.nix
@ -21,7 +21,7 @@
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/mathcomp-tarjan/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-tarjan/default.nix
@ -20,7 +20,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/mathcomp-word/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-word/default.nix
@ -58,7 +58,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/mathcomp-zify/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-zify/default.nix
@ -22,7 +22,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/multinomials/default.nix
+++ b/pkgs/development/coq-modules/multinomials/default.nix
@ -22,7 +22,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/odd-order/default.nix
+++ b/pkgs/development/coq-modules/odd-order/default.nix
@ -23,11 +23,11 @@ mkCoqDerivation {
    in
    with lib.versions;
    lib.switch mathcomp.character.version [
-      (case ((range "2.2.0" "2.4.0")) "2.2.0")
-      (case ((range "2.1.0" "2.3.0")) "2.1.0")
-      (case ((range "1.13.0" "1.15.0")) "1.14.0")
-      (case ((range "1.12.0" "1.14.0")) "1.13.0")
-      (case ((range "1.10.0" "1.12.0")) "1.12.0")
+      (case (range "2.2.0" "2.4.0") "2.2.0")
+      (case (range "2.1.0" "2.3.0") "2.1.0")
+      (case (range "1.13.0" "1.15.0") "1.14.0")
+      (case (range "1.12.0" "1.14.0") "1.13.0")
+      (case (range "1.10.0" "1.12.0") "1.12.0")
    ] null;

  propagatedBuildInputs = [
--- a/pkgs/development/coq-modules/reglang/default.nix
+++ b/pkgs/development/coq-modules/reglang/default.nix
@ -22,7 +22,7 @@ mkCoqDerivation {
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];
--- a/pkgs/development/coq-modules/ssprove/default.nix
+++ b/pkgs/development/coq-modules/ssprove/default.nix
@ -20,7 +20,7 @@
  defaultVersion =
    let
      case = coq: mc: out: {
-        case = [
+        cases = [
          coq
          mc
        ];