diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-02-17 14:09:48 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-02-20 14:32:30 +0100 |
| commit | d0bb08b5cce184e1f9837eeede8c6e2227bb2379 (patch) | |
| tree | 963b10fb87997c47523f29521788f150946f3bec /pkgs/development/coq-modules/hydra-battles | |
| parent | a2535f3febeb048513e3832660588576d1a1dfe9 (diff) | |
| download | nixpkgs-d0bb08b5cce184e1f9837eeede8c6e2227bb2379.tar nixpkgs-d0bb08b5cce184e1f9837eeede8c6e2227bb2379.tar.gz nixpkgs-d0bb08b5cce184e1f9837eeede8c6e2227bb2379.tar.bz2 nixpkgs-d0bb08b5cce184e1f9837eeede8c6e2227bb2379.tar.lz nixpkgs-d0bb08b5cce184e1f9837eeede8c6e2227bb2379.tar.xz nixpkgs-d0bb08b5cce184e1f9837eeede8c6e2227bb2379.tar.zst nixpkgs-d0bb08b5cce184e1f9837eeede8c6e2227bb2379.zip | |
coqPackages.hydra-battles: 0.5 -> 0.6
Diffstat (limited to 'pkgs/development/coq-modules/hydra-battles')
| -rw-r--r-- | pkgs/development/coq-modules/hydra-battles/default.nix | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/pkgs/development/coq-modules/hydra-battles/default.nix b/pkgs/development/coq-modules/hydra-battles/default.nix index faec5d3e330..e7dc7474e85 100644 --- a/pkgs/development/coq-modules/hydra-battles/default.nix +++ b/pkgs/development/coq-modules/hydra-battles/default.nix @@ -1,22 +1,21 @@ -{ lib, mkCoqDerivation, coq, equations, version ? null }: +{ lib, mkCoqDerivation, coq, equations, LibHyps, version ? null }: with lib; -mkCoqDerivation { +(mkCoqDerivation { pname = "hydra-battles"; owner = "coq-community"; release."0.4".sha256 = "1f7pc4w3kir4c9p0fjx5l77401bx12y72nmqxrqs3qqd3iynvqlp"; release."0.5".sha256 = "121pcbn6v59l0c165ha9n00whbddpy11npx2y9cn7g879sfk2nqk"; + release."0.6".sha256 = "1dri4sisa7mhclf8w4kw7ixs5zxm8xyjr034r1377p96rdk3jj0j"; releaseRev = (v: "v${v}"); inherit version; defaultVersion = with versions; switch coq.coq-version [ - { case = range "8.13" "8.14"; out = "0.5"; } + { case = range "8.13" "8.15"; out = "0.6"; } { case = range "8.11" "8.12"; out = "0.4"; } ] null; - propagatedBuildInputs = [ equations ]; - useDune2 = true; meta = { @@ -32,4 +31,7 @@ mkCoqDerivation { license = licenses.mit; platforms = platforms.unix; }; -} +}).overrideAttrs(o: + let inherit (o) version; in { + propagatedBuildInputs = [ equations ] ++ optional (versions.isGe "0.6" version) LibHyps; + }) |