tjh.dev
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 version ? null,
6}:
7mkCoqDerivation {
8 owner = "zhengpushi";
9 pname = "CoqMatrix";
10 inherit version;
11 defaultVersion =
12 with lib.versions;
13 lib.switch coq.version [
14 {
15 case = range "8.11" "8.18";
16 out = "1.0.6";
17 }
18 ] null;
19 release = {
20 "1.0.6".sha256 = "sha256-XsM3fSstvB6GE5OqT7CFro+RWiYEgJsoQ5gXd74VaK0=";
21 };
22 meta = {
23 homepage = "https://github.com/zhengpushi/CoqMatrix";
24 description = "Matrix math";
25 license = lib.licenses.mit;
26 maintainers = with lib.maintainers; [ damhiya ];
27 };
28}