chn/nixpkgs
1
0
Fork 0
mirror of https://github.com/CHN-beta/nixpkgs.git synced 2026-01-11 18:32:23 +08:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages.ElmExtraction: 0.1.0 → 0.1.1

Browse Source
This commit is contained in:
4ever2
2025-05-23 11:25:17 +02:00
committed by Vincent Laporte
parent c9594b64fe
commit eba9d2028c
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/coq-modules/ElmExtraction/default.nix
View File

@@ -25,15 +25,16 @@ mkCoqDerivation {
[
{
cases = [
(range "8.17" "8.20")
(range "8.17" "9.0")
(range "1.3.1" "1.3.4")
];
out = "0.1.0";
out = "0.1.1";
}
]
null;
release."0.1.0".sha256 = "EWjubBHsxAl2HuRAfJI3B9qzP2mj89eh0CUc8y7/7Ds=";
release."0.1.1".sha256 = "SDSyXqtOQlW9m9yH8OC909fsC/ePhKkSiY+BoQE76vk=";
releaseRev = v: "v${v}";