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

coq_8_12: 8.12+β1 → 8.12.0

Browse Source 
coqPackages.equations: 1.2.2 → 1.2.3
This commit is contained in:
Vincent Laporte
2020-08-08 06:33:08 +02:00
committed by Vincent Laporte
parent 86fbad8466
commit b8dfca143c
3 changed files with 11 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/coq-packages.nix
+1 -1
View File
@@ -118,7 +118,7 @@ in rec {
version = "8.11.2";
};
coq_8_12 = callPackage ../applications/science/logic/coq {
version = "8.12+beta1";
version = "8.12.0";
};
coqPackages_8_5 = mkCoqPackages coq_8_5;