diff options
| author | Théo Zimmermann <theo.zimmermann@telecom-paris.fr> | 2023-06-27 14:22:31 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-07-27 08:37:02 +0200 |
| commit | 53ef5765adb2ab37a4ca2b4c1bf5bac57d76b156 (patch) | |
| tree | 185b1908250d453d0357f15110aa3a3c259b21b2 /pkgs/development/coq-modules | |
| parent | f066c5e367cf2abdd560a247ae775198be94ede8 (diff) | |
| download | nixpkgs-53ef5765adb2ab37a4ca2b4c1bf5bac57d76b156.tar nixpkgs-53ef5765adb2ab37a4ca2b4c1bf5bac57d76b156.tar.gz nixpkgs-53ef5765adb2ab37a4ca2b4c1bf5bac57d76b156.tar.bz2 nixpkgs-53ef5765adb2ab37a4ca2b4c1bf5bac57d76b156.tar.lz nixpkgs-53ef5765adb2ab37a4ca2b4c1bf5bac57d76b156.tar.xz nixpkgs-53ef5765adb2ab37a4ca2b4c1bf5bac57d76b156.tar.zst nixpkgs-53ef5765adb2ab37a4ca2b4c1bf5bac57d76b156.zip | |
coqPackages.trakt: add recent versions
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/trakt/default.nix | 8 |
1 files changed, 6 insertions, 2 deletions
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 ]; |