From f962f335935d5d6e946eaae3bc375069744fca48 Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Thu, 21 Dec 2017 01:24:35 -0800 Subject: Specify the coq version in a more consistent location --- pkgs/applications/science/logic/coq/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pkgs/applications') diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 6ab98f30ae69..f62f20fe7881 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -9,7 +9,7 @@ , ocamlPackages, ncurses , buildIde ? true , csdp ? null -, version ? "8.7.1" +, version }: let -- cgit 1.4.1