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 | |
| parent | ebcba2714fdba588fb31c5a5307a8f21b39e0ac5 (diff) | |
| download | vericert-b688e8bbf82e694cf62c11a117b67706d39f8459.tar.gz vericert-b688e8bbf82e694cf62c11a117b67706d39f8459.zip | |
Update coq version to 11
| -rw-r--r-- | default.nix | 4 | ||||
| m--------- | lib/CompCert | 0 |
2 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 { diff --git a/lib/CompCert b/lib/CompCert -Subproject e13469254ced9e4980ee54769d5b8b8729efc85 +Subproject 8f8250d076c9bcb15954c978dd1c351dd948326 |