diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-04-01 14:20:56 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-04-02 22:41:01 +0200 |
| commit | e976fa8f49c35cf28496301a1ef2aa23ad576b56 (patch) | |
| tree | 5abf5119c6720d845f673ed0c5b3fc15d97a0511 /pkgs/top-level | |
| parent | c02cbef6a9657a1b6731ddff4aa98ddc33fb2e54 (diff) | |
coqPackages.vcfloat: enable for Coq 8.18 & 8.19
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index e901bafe431f6..256652f07b0cc 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -122,9 +122,10 @@ let tlc = callPackage ../development/coq-modules/tlc {}; topology = callPackage ../development/coq-modules/topology {}; trakt = callPackage ../development/coq-modules/trakt {}; - vcfloat = callPackage ../development/coq-modules/vcfloat { - interval = self.interval.override { version = "4.9.0"; }; - }; + vcfloat = callPackage ../development/coq-modules/vcfloat (lib.optionalAttrs + (lib.versions.range "8.16" "8.18" self.coq.version) { + interval = self.interval.override { version = "4.9.0"; }; + }); Velisarios = callPackage ../development/coq-modules/Velisarios {}; Verdi = callPackage ../development/coq-modules/Verdi {}; Vpl = callPackage ../development/coq-modules/Vpl {}; |