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

coq_8_11: 8.11.0 → 8.11.1

Browse Source
This commit is contained in:
Vincent Laporte
2020-04-05 15:32:32 +02:00
committed by Frederik Rietdijk
parent 502073b09a
commit d6a8d0ca5b
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
@@ -137,7 +137,7 @@ in rec {
version = "8.10.2";
};
coq_8_11 = callPackage ../applications/science/logic/coq {
version = "8.11.0";
version = "8.11.1";
};
coqPackages_8_5 = mkCoqPackages coq_8_5;