diff options
author | Théo Zimmermann <theo.zimmermann@telecom-paris.fr> | 2023-03-30 10:03:59 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-03-30 10:37:16 +0200 |
commit | f89354c12f9824c764036887d0fef905c26a81af (patch) | |
tree | b89494eceb27da0a46459af7ff5fe9c8cde92563 /pkgs/top-level/coq-packages.nix | |
parent | 8fc04b7fe41db77d39b10107dc482f797329b338 (diff) |
coqPackages_8_13.VST: fix by using compatible version of ITree
Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
-rw-r--r-- | pkgs/top-level/coq-packages.nix | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 0b9148d2bb628..87291ca8f3dfe 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -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; }; |