From c8d97899e7eef61bd29b327df0ceb04fa12440b7 Mon Sep 17 00:00:00 2001 From: sorki Date: Wed, 6 Dec 2023 18:47:54 +0100 Subject: [PATCH] overlay.nix: dependent-sum-template 0.2.0.1 --- overlay.nix | 17 ++++++----------- 1 file changed, 6 insertions(+), 11 deletions(-) diff --git a/overlay.nix b/overlay.nix index 75d7a34..0c2b460 100644 --- a/overlay.nix +++ b/overlay.nix @@ -23,17 +23,12 @@ in sha256 = "sha256-AnjaUzSlsLi3lIURrEfs92Jo5FzX49RyNdfDSfFV3Kk="; } {}; - # srk 2023-11-19: default in unstable is 0.1.1.1 which - # fails to compile test on ghc8107 - # but for for ghc963 we hit - # https://github.com/obsidiansystems/dependent-sum-template/issues/10 - # so we use 0.1.1.1 for ghc963 and 0.2.0.0 for the rest - # - some weird interaction in unstable as this builds - # with cabal and 0.2.0.0 - dependent-sum-template = - if compiler == "ghc8107" || compiler == "ghc902" || compiler == "ghc928" - then hsuper.dependent-sum-template_0_2_0_0 - else hsuper.dependent-sum-template; + # srk 2023-12-06: until in unstable + dependent-sum-template = hself.callHackageDirect + { pkg = "dependent-sum-template"; + ver = "0.2.0.1"; + sha256 = "sha256-quwgFuEBrK96JZenJZcyfk/O0Gp+ukwKEpe1hMqDbIg="; + } {}; # srk 2023-11-19: wider unix bound via CPP # Required for ghc963 since linux-namespaces is pinned