Add coq Matrix package 8.18 (#373307)

Author: RungChungo

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 ];
+  };
+}

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 { };