pyrox.dev
coqPackages.jasmin: 2025.02.0 → 2025.06.1 (#443549)
authored by Vincent Laporte and committed by GitHub d3244e63 698b333a
+13
-3
pkgs/development/coq-modules/jasmin/default.nix
+13
-3
pkgs/development/coq-modules/jasmin/default.nix
···
5
5
mathcomp,
6
6
mathcomp-algebra-tactics,
7
7
mathcomp-word,
8
+
ITree,
8
9
version ? null,
9
10
}:
10
11
11
-
mkCoqDerivation {
12
+
(mkCoqDerivation {
12
13
pname = "jasmin";
13
14
owner = "jasmin-lang";
14
15
···
27
28
lib.switch
28
29
[ coq.coq-version mathcomp.version ]
29
30
[
30
-
(case (range "8.19" "9.1") (range "2.2" "2.4") "2025.02.0")
31
+
(case (range "8.20" "9.1") (range "2.2" "2.4") "2025.06.1")
32
+
(case (range "8.19" "9.1") (range "2.2" "2.4") "2025.02.1")
31
33
(case (isEq "8.18") (isEq "2.2") "2024.07.2")
32
34
]
33
35
null;
34
36
releaseRev = v: "v${v}";
35
37
38
+
release."2025.06.1".sha256 = "sha256-wEL1tN0HUa1Eb7FiQOBA6sAkuonrAMdkqq8gu9/CED0=";
39
+
release."2025.06.0".sha256 = "sha256-XfTg7ofamzMWqmRIU1/MO+S/ieNjvNEhlgIqFrchdAQ=";
40
+
release."2025.02.1".sha256 = "sha256-8P2GdplB12Q0e0XdL77w3nQL1/6Xl/gQNhGTB0WX/8I=";
36
41
release."2025.02.0".sha256 = "sha256-Jlf0+VPuYWXdWyKHKHSp7h/HuCCp4VkcrgDAmh7pi5s=";
37
42
release."2024.07.3".sha256 = "sha256-n/X8d7ILuZ07l24Ij8TxbQzAG7E8kldWFcUI65W4r+c=";
38
43
release."2024.07.2".sha256 = "sha256-aF8SYY5jRxQ6iEr7t6mRN3BEmIDhJ53PGhuZiJGB+i8=";
···
56
61
vbgl
57
62
];
58
63
};
59
-
}
64
+
}).overrideAttrs
65
+
(o: {
66
+
propagatedBuildInputs =
67
+
o.propagatedBuildInputs
68
+
++ lib.optional (o.version == "dev" || lib.versionAtLeast o.version "2025.06") ITree;
69
+
})