diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-04-18 07:52:49 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-04-18 14:37:04 +0200 |
commit | 76a43d765cc9d5ed31d275abfe28b52f842f6b15 (patch) | |
tree | ec12937913180a8a1a2f4427afde4a0e4e6a7adb /pkgs/top-level/coq-packages.nix | |
parent | 9822c0061601698e538a6dd03433805adb1d8fbc (diff) | |
download | nixpkgs-76a43d765cc9d5ed31d275abfe28b52f842f6b15.tar nixpkgs-76a43d765cc9d5ed31d275abfe28b52f842f6b15.tar.gz nixpkgs-76a43d765cc9d5ed31d275abfe28b52f842f6b15.tar.bz2 nixpkgs-76a43d765cc9d5ed31d275abfe28b52f842f6b15.tar.lz nixpkgs-76a43d765cc9d5ed31d275abfe28b52f842f6b15.tar.xz nixpkgs-76a43d765cc9d5ed31d275abfe28b52f842f6b15.tar.zst nixpkgs-76a43d765cc9d5ed31d275abfe28b52f842f6b15.zip |
coq: 8.8+beta1 -> 8.8.0
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
-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 43d6d8d2dd5..e21445b423d 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -72,7 +72,7 @@ in rec { version = "8.7.2"; }; coq_8_8 = callPackage ../applications/science/logic/coq { - version = "8.8+beta1"; + version = "8.8.0"; }; coqPackages_8_5 = mkCoqPackages coq_8_5; |