Unverified Commit d1d4809b authored by Vincent Laporte's avatar Vincent Laporte
Browse files

compcert: default to the Coq 9.0 version

parent 092ff7a6

pkgs/top-level/all-packages.nix

+1 −1
Original line number Diff line number Diff line
@@ -4602,7 +4602,7 @@ with pkgs; 
    ocamlPackages = ocaml-ng.ocamlPackages_4_14;

  };



  inherit (coqPackages_8_20) compcert;

  inherit (coqPackages_9_0) compcert;



  computecpp = wrapCCWith rec {

    cc = computecpp-unwrapped;