diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2019-07-14 14:24:52 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-07-14 14:58:49 +0000 |
commit | 3bc04b576ac75058c6def3003e9ef376aec425bc (patch) | |
tree | 569cdd87b1b9f9d6dffe443126782090a2c23471 /pkgs/top-level/coq-packages.nix | |
parent | 21f76f83f9a3500e60fa4a6816cf2ef393395a51 (diff) | |
download | nixpkgs-3bc04b576ac75058c6def3003e9ef376aec425bc.tar nixpkgs-3bc04b576ac75058c6def3003e9ef376aec425bc.tar.gz nixpkgs-3bc04b576ac75058c6def3003e9ef376aec425bc.tar.bz2 nixpkgs-3bc04b576ac75058c6def3003e9ef376aec425bc.tar.lz nixpkgs-3bc04b576ac75058c6def3003e9ef376aec425bc.tar.xz nixpkgs-3bc04b576ac75058c6def3003e9ef376aec425bc.tar.zst nixpkgs-3bc04b576ac75058c6def3003e9ef376aec425bc.zip |
coq: 8.10+beta1 -> 8.10+beta2
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 8a987c6cf14..1cbdb6a9f21 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -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; |