diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-04-05 10:53:23 +0200 |
|---|---|---|
| committer | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2020-04-05 15:32:32 +0200 |
| commit | d6a8d0ca5b03dbdb84070b47021b2b852429348e (patch) | |
| tree | 8655953e11cdc01b19cd67f92c3f5b93d013d8f2 /pkgs/top-level | |
| parent | 502073b09a2508cdddc1ade870d3716e0b5d09a8 (diff) | |
| download | nixlib-d6a8d0ca5b03dbdb84070b47021b2b852429348e.tar nixlib-d6a8d0ca5b03dbdb84070b47021b2b852429348e.tar.gz nixlib-d6a8d0ca5b03dbdb84070b47021b2b852429348e.tar.bz2 nixlib-d6a8d0ca5b03dbdb84070b47021b2b852429348e.tar.lz nixlib-d6a8d0ca5b03dbdb84070b47021b2b852429348e.tar.xz nixlib-d6a8d0ca5b03dbdb84070b47021b2b852429348e.tar.zst nixlib-d6a8d0ca5b03dbdb84070b47021b2b852429348e.zip | |
coq_8_11: 8.11.0 → 8.11.1
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index bc39a477a7a9..7d1bcc5bd99c 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -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; |