diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-04-01 08:24:49 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-04-02 22:41:01 +0200 |
| commit | cffe0a32af5bb0e2f32831386b751a606147bfdc (patch) | |
| tree | 7f688648eec1fafe9ba746633e57b9ad6defa9d1 | |
| parent | 8a22284f51fcd7771ee65ba124175bf9b90505ad (diff) | |
coqPackages.interval: 4.9.0 → 4.10.0
| -rw-r--r-- | pkgs/development/coq-modules/interval/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/interval/default.nix b/pkgs/development/coq-modules/interval/default.nix index 9ac4f1c383a9d..4c4646c08e987 100644 --- a/pkgs/development/coq-modules/interval/default.nix +++ b/pkgs/development/coq-modules/interval/default.nix @@ -7,6 +7,7 @@ mkCoqDerivation rec { domain = "gitlab.inria.fr"; inherit version; defaultVersion = with lib.versions; lib.switch coq.coq-version [ + { case = range "8.12" "8.19"; out = "4.10.0"; } { case = range "8.12" "8.18"; out = "4.9.0"; } { case = range "8.12" "8.17"; out = "4.8.0"; } { case = range "8.12" "8.16"; out = "4.6.0"; } @@ -15,6 +16,7 @@ mkCoqDerivation rec { { case = range "8.7" "8.11"; out = "3.4.2"; } { case = range "8.5" "8.6"; out = "3.3.0"; } ] null; + release."4.10.0".sha256 = "sha256-MZJVoKGLXjDabdv9BuUSK1L9z1cubzC9cqVuWevKIXQ="; release."4.9.0".sha256 = "sha256-+5NppyQahcc1idGu/U3B+EIWuZz2L3/oY7dIJR6pitE="; release."4.8.1".sha256 = "sha256-gknZ3bA90YY2AvwfFsP5iMhohwkQ8G96mH+4st2RPDc="; release."4.8.0".sha256 = "sha256-YPQ1tuUgGixAVdQUJ9a3lZUNVgm2pKK3RKvl3m+/8rY="; diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index acf4a69a2bdaa..e901bafe431f6 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -122,7 +122,9 @@ 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 {}; + vcfloat = callPackage ../development/coq-modules/vcfloat { + 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 {}; |