From 53ef5765adb2ab37a4ca2b4c1bf5bac57d76b156 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Tue, 27 Jun 2023 14:22:31 +0200 Subject: coqPackages.trakt: add recent versions --- pkgs/development/coq-modules/trakt/default.nix | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'pkgs/development/coq-modules') diff --git a/pkgs/development/coq-modules/trakt/default.nix b/pkgs/development/coq-modules/trakt/default.nix index ba66c4f86ef..1718b3a8413 100644 --- a/pkgs/development/coq-modules/trakt/default.nix +++ b/pkgs/development/coq-modules/trakt/default.nix @@ -4,12 +4,16 @@ mkCoqDerivation { pname = "trakt"; owner = "ecranceMERCE"; - release."1.0".rev = "d1c9daba8fe0584b526047862dd27ddf836dbbf2"; release."1.0".sha256 = "sha256-Qhw5fWFYxUFO2kIWWz/og+4fuy9aYG27szfNk3IglhY="; + release."1.1".sha256 = "sha256-JmrtM9WcT8Bfy0WZCw8xdubuMomyXmfLXJwpnCNrvsg="; + release."1.2".sha256 = "sha256-YQRtK2MjjsMlytdu9iutUDKhwOo4yWrSwhyBb2zNHoE="; + release."1.2+8.13".sha256 = "sha256-hozms4sPSMr4lFkJ20x+uW9Wqt067bifnPQxdGyKhQQ="; inherit version; defaultVersion = with lib.versions; lib.switch [ coq.version ] [ - { cases = [ (range "8.13" "8.17") ]; out = "1.0"; } + { cases = [ (range "8.15" "8.17") ]; out = "1.2"; } + { cases = [ (isEq "8.13") ]; out = "1.2+8.13"; } + { cases = [ (range "8.13" "8.17") ]; out = "1.1"; } ] null; propagatedBuildInputs = [ coq-elpi ]; -- cgit 1.4.1