gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.jasmin: 2025.06.1 → 2026.03.1 (#509942)

Browse Source
This commit is contained in:
Vincent Laporte
2026-04-15 11:03:30 +00:00
committed by GitHub
parent 0bf587f3c6 82667aec89
commit 729e5df34b
1 changed files with 10 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/jasmin/default.nix
+10 -15
View File
@@ -16,29 +16,24 @@
inherit version;
defaultVersion =
let
case = coq: mc: out: {
cases = [
coq
mc
];
inherit out;
};
case = case: out: { inherit case out; };
in
with lib.versions;
lib.switch
[ coq.coq-version mathcomp.version ]
[
(case (range "8.20" "9.1") (range "2.2" "2.4") "2025.06.1")
(case (range "8.19" "9.1") (range "2.2" "2.4") "2025.02.1")
(case (isEq "8.18") (isEq "2.2") "2024.07.2")
]
null;
lib.switch coq.coq-version [
(case (range "8.20" "9.1") "2026.03.1")
(case (isEq "8.19") "2025.02.2")
(case (isEq "8.18") "2024.07.4")
] null;
releaseRev = v: "v${v}";
release."2026.03.1".hash = "sha256-CE+WbcG0lgKvaV/OSMlTp3fG+v82X41z/w7ynsM/LLg=";
release."2026.03.0".hash = "sha256-MzdVbZhXlb9JFLsf+23yJNFiGJDBJZGbX6Ox3/U1EzA=";
release."2025.06.1".sha256 = "sha256-wEL1tN0HUa1Eb7FiQOBA6sAkuonrAMdkqq8gu9/CED0=";
release."2025.06.0".sha256 = "sha256-XfTg7ofamzMWqmRIU1/MO+S/ieNjvNEhlgIqFrchdAQ=";
release."2025.02.2".hash = "sha256-ks0eWqKv7bqgHgMowqTFjKzuT9kMYl2Ozj2s1DaSdEo=";
release."2025.02.1".sha256 = "sha256-8P2GdplB12Q0e0XdL77w3nQL1/6Xl/gQNhGTB0WX/8I=";
release."2025.02.0".sha256 = "sha256-Jlf0+VPuYWXdWyKHKHSp7h/HuCCp4VkcrgDAmh7pi5s=";
release."2024.07.4".hash = "sha256-eA9xX8jhmt8HJAetBj1lrIOYn5edOjO8iHr8uvm9+lE=";
release."2024.07.3".sha256 = "sha256-n/X8d7ILuZ07l24Ij8TxbQzAG7E8kldWFcUI65W4r+c=";
release."2024.07.2".sha256 = "sha256-aF8SYY5jRxQ6iEr7t6mRN3BEmIDhJ53PGhuZiJGB+i8=";