Skip to content

Commit

Permalink
overlay: drop some override
Browse files Browse the repository at this point in the history
  • Loading branch information
sorki committed Jul 28, 2024
1 parent 530ca43 commit 5d5379e
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions overlay.nix
Original file line number Diff line number Diff line change
Expand Up @@ -15,14 +15,6 @@ let
} // (lib.filterAttrs (n: v: n != "url") x));
in
{
# srk 2023-11-18: this is pinned in nixpkgs unstable to 1.0.5
# causing trouble with ghc963
some = hself.callHackageDirect
{ pkg = "some";
ver = "1.0.6";
sha256 = "sha256-AnjaUzSlsLi3lIURrEfs92Jo5FzX49RyNdfDSfFV3Kk=";
} {};

# srk 2023-12-06: until in unstable
dependent-sum-template = hself.callHackageDirect
{ pkg = "dependent-sum-template";
Expand Down

0 comments on commit 5d5379e

Please sign in to comment.