From 9bc6260998b53825544192052f4cb9015fac9dc0 Mon Sep 17 00:00:00 2001
From: RungChungo <155569880+RungChungo@users.noreply.github.com>
Date: Mon, 3 Mar 2025 10:33:47 +0000
Subject: [PATCH] Add coq Matrix package 8.18 (#373307)

---
 .../coq-modules/coq-matrix/default.nix        | 28 +++++++++++++++++++
 pkgs/top-level/coq-packages.nix               |  1 +
 2 files changed, 29 insertions(+)
 create mode 100644 pkgs/development/coq-modules/coq-matrix/default.nix

diff --git a/pkgs/development/coq-modules/coq-matrix/default.nix b/pkgs/development/coq-modules/coq-matrix/default.nix
new file mode 100644
index 000000000000..524adaffaa8e
--- /dev/null
+++ b/pkgs/development/coq-modules/coq-matrix/default.nix
@@ -0,0 +1,28 @@
+{
+  lib,
+  mkCoqDerivation,
+  coq,
+  version ? null,
+}:
+mkCoqDerivation {
+  owner = "zhengpushi";
+  pname = "CoqMatrix";
+  inherit version;
+  defaultVersion =
+    with lib.versions;
+    lib.switch coq.version [
+      {
+        case = range "8.11" "8.18";
+        out = "1.0.6";
+      }
+    ] null;
+  release = {
+    "1.0.6".sha256 = "sha256-XsM3fSstvB6GE5OqT7CFro+RWiYEgJsoQ5gXd74VaK0=";
+  };
+  meta = {
+    homepage = "https://github.com/zhengpushi/CoqMatrix";
+    description = "Matrix math";
+    license = lib.licenses.mit;
+    maintainers = with lib.maintainers; [ damhiya ];
+  };
+}
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index f3c7a998019a..c79ab2016ce8 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -44,6 +44,7 @@ let
       coq-elpi = callPackage ../development/coq-modules/coq-elpi {};
       coq-hammer = callPackage ../development/coq-modules/coq-hammer { };
       coq-hammer-tactics = callPackage ../development/coq-modules/coq-hammer/tactics.nix { };
+      CoqMatrix = callPackage ../development/coq-modules/coq-matrix { };
       coq-haskell = callPackage ../development/coq-modules/coq-haskell { };
       coq-lsp = callPackage ../development/coq-modules/coq-lsp {};
       coq-record-update = callPackage ../development/coq-modules/coq-record-update { };