pyrox.dev
coqPackages_8_16.equations: init at 1.3+8.16
authored by Vincent Laporte and committed by Vincent Laporte 81a0991e d5086eb8
+7
-3
pkgs/development/coq-modules/equations/default.nix
+7
-3
pkgs/development/coq-modules/equations/default.nix
···
1
1
{ lib, mkCoqDerivation, coq, version ? null }:
2
2
3
-
with lib; mkCoqDerivation {
3
+
with lib; (mkCoqDerivation {
4
4
pname = "equations";
5
5
owner = "mattam82";
6
6
repo = "Coq-Equations";
7
7
inherit version;
8
8
defaultVersion = switch coq.coq-version [
9
+
{ case = "8.16"; out = "1.3+8.16"; }
9
10
{ case = "8.15"; out = "1.3+8.15"; }
10
11
{ case = "8.14"; out = "1.3+8.14"; }
11
12
{ case = "8.13"; out = "1.3+8.13"; }
···
51
52
release."1.3+8.14".sha256 = "19bj9nncd1r9g4273h5qx35gs3i4bw5z9bhjni24b413hyj55hkv";
52
53
release."1.3+8.15".rev = "v1.3-8.15";
53
54
release."1.3+8.15".sha256 = "1vfcfpsp9zyj0sw0cwibk76nj6n0r6gwh8m1aa3lbvc0b1kbm32k";
55
+
release."1.3+8.16".rev = "v1.3-8.16";
56
+
release."1.3+8.16".sha256 = "sha256-zyMGeRObtSGWh7n3WCqesBZL5EgLvKwmnTy09rYpxyE=";
54
57
55
58
mlPlugin = true;
56
-
preBuild = "coq_makefile -f _CoqProject -o Makefile";
57
59
58
60
meta = {
59
61
homepage = "https://mattam82.github.io/Coq-Equations/";
60
62
description = "A plugin for Coq to add dependent pattern-matching";
61
63
maintainers = with maintainers; [ jwiegley ];
62
64
};
63
-
}
65
+
}).overrideAttrs (o: {
66
+
preBuild = "coq_makefile -f _CoqProject -o Makefile${optionalString (versionAtLeast o.version "1.2.1") ".coq"}";
67
+
})