Commit f89354c1 authored by Théo Zimmermann's avatar Théo Zimmermann Committed by Vincent Laporte
Browse files

coqPackages_8_13.VST: fix by using compatible version of ITree 



Co-authored-by: default avatarVincent Laporte <Vincent.Laporte@gmail.com>
parent 8fc04b7f

pkgs/top-level/coq-packages.nix

+4 −2
Original line number Diff line number Diff line
@@ -112,10 +112,12 @@ let 
      trakt = callPackage ../development/coq-modules/trakt {};

      Velisarios = callPackage ../development/coq-modules/Velisarios {};

      Verdi = callPackage ../development/coq-modules/Verdi {};

      VST = callPackage ../development/coq-modules/VST (lib.optionalAttrs

      VST = callPackage ../development/coq-modules/VST ((lib.optionalAttrs

        (lib.versionAtLeast self.coq.version "8.14") {

          compcert = self.compcert.override { version = "3.11"; };

        });

        }) // (lib.optionalAttrs (lib.versions.isEq self.coq.coq-version "8.13") {

          ITree = self.ITree.override { version = "4.0.0"; };

       }));

      zorns-lemma = callPackage ../development/coq-modules/zorns-lemma {};

      filterPackages = doesFilter: if doesFilter then filterCoqPackages self else self;

    };