diff options
-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 |