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

coq_8_9: 8.9.0 -> 8.9.1

Browse Source
This commit is contained in:
Vincent Laporte
2019-05-29 11:24:45 +02:00
committed by Vincent Laporte
parent e9ecdec571
commit 57c3da07eb
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/coq-packages.nix
+1 -1
View File
@@ -106,7 +106,7 @@ in rec {
version = "8.8.2";
};
coq_8_9 = callPackage ../applications/science/logic/coq {
version = "8.9.0";
version = "8.9.1";
};
coq_8_10 = callPackage ../applications/science/logic/coq {
version = "8.10+beta1";