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

coq: 8.10+beta1 -> 8.10+beta2

Browse Source
This commit is contained in:
Théo Zimmermann
2019-07-14 14:58:49 +00:00
committed by Vincent Laporte
parent 21f76f83f9
commit 3bc04b576a
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/coq-packages.nix
+1 -1
View File
@@ -126,7 +126,7 @@ in rec {
version = "8.9.1";
};
coq_8_10 = callPackage ../applications/science/logic/coq {
version = "8.10+beta1";
version = "8.10+beta2";
};
coqPackages_8_5 = mkCoqPackages coq_8_5;