diff options
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/default.nix b/default.nix index 961bdec..cd37308 100644 --- a/default.nix +++ b/default.nix @@ -1,8 +1,8 @@ with import <nixpkgs> {}; let - ncoq = coq_8_10; - ncoqPackages = coqPackages_8_10; + ncoq = coq_8_11; + ncoqPackages = coqPackages_8_11; bbv = ncoqPackages.callPackage ( { coq, stdenv, fetchFromGitHub }: stdenv.mkDerivation { |