diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-05-20 10:50:20 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-05-20 10:50:20 +0100 |
| commit | b688e8bbf82e694cf62c11a117b67706d39f8459 (patch) | |
| tree | 0e443cb2b7b11f15690ddf0ddb44cfbd6fc9fac7 /default.nix | |
| parent | ebcba2714fdba588fb31c5a5307a8f21b39e0ac5 (diff) | |
| download | vericert-kvx-b688e8bbf82e694cf62c11a117b67706d39f8459.tar.gz vericert-kvx-b688e8bbf82e694cf62c11a117b67706d39f8459.zip | |
Update coq version to 11
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 { |