Unverified Commit 9bc62609 authored by RungChungo's avatar RungChungo Committed by GitHub
Browse files

Add coq Matrix package 8.18 (#373307)

parent 20ec0eab

pkgs/development/coq-modules/coq-matrix/default.nix

0 → 100644
+28 −0
Original line number Diff line number Diff line 
{

  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

+1 −0
Original line number Diff line number Diff line
@@ -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 { };