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

coqPackages.deriving: 0.2.2 -> 0.2.3 (#519250)

Browse Source
This commit is contained in:
Vincent Laporte
2026-05-12 07:04:36 +00:00
committed by GitHub
parent 1d4ef58d4a 90f30d036c
commit b31c76f7b3
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/deriving/default.nix
+2
View File
@@ -26,6 +26,7 @@ mkCoqDerivation {
lib.switch
[ coq.coq-version ssreflect.version ]
[
(case (range "8.17" "9.1") (range "2.0.0" "2.5.0") "0.2.3")
(case (range "8.17" "9.1") (range "2.0.0" "2.5.0") "0.2.2")
(case (range "8.17" "9.0") (range "2.0.0" "2.3.0") "0.2.1")
(case (range "8.17" "8.20") (range "2.0.0" "2.2.0") "0.2.0")
@@ -35,6 +36,7 @@ mkCoqDerivation {
releaseRev = v: "v${v}";
release."0.2.3".sha256 = "sha256-LqrSlML5pA84FGY4C/xm1EKSgjDe+NaQCSFg2ggdPHE=";
release."0.2.2".sha256 = "sha256-qsbyQ4spg5vVLZkechb2LoBazGjMh7pR9sSS0s7tXxs=";
release."0.2.1".sha256 = "sha256-053bNa3rcy0fCs9CQoKPxDLXnKRHzteyClLDURpaZJo=";
release."0.2.0".sha256 = "sha256-xPsuEayHstjF0PGFJZJ+5cm0oMUrpoGLXN23op97vjM=";