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

coqPackages.equations: 1.3.1 -> 1.3.2 (#523969)

Browse Source
This commit is contained in:
Vincent Laporte
2026-05-28 10:10:00 +00:00
committed by GitHub
parent e5f78f0e6d 811493b89b
commit 7ecd8aaf1c
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/equations/default.nix
+3
View File
@@ -17,6 +17,7 @@
case = case: out: { inherit case out; };
in
lib.switch coq.coq-version [
(case "9.2" "1.3.2+9.2")
(case "9.1" "1.3.1+9.1")
(case "9.0" "1.3.1+9.0")
(case "8.20" "1.3.1+8.20")
@@ -83,6 +84,8 @@
release."1.3.1+9.0".sha256 = "sha256-186Z0/wCuGAjIvG1LoYBMPooaC6HmnKWowYXuR0y6bA=";
release."1.3.1+9.1".rev = "v1.3.1-9.1";
release."1.3.1+9.1".sha256 = "sha256-LtYbAR3jt+JbYcqP+m1n3AZhAWSMIeOZtmdSJwg7L1A=";
release."1.3.2+9.2".rev = "v1.3.2-9.2";
release."1.3.2+9.2".sha256 = "sha256-wpl6Uxy3M2xYuBZPLdsvkvBfXqzplHRrNjyePgLi2X4=";
mlPlugin = true;