ghc-typelits-natnormalise: init at 0.7.7

manifest.dhall

@@ -217,6 +217,7 @@ in  [ callHackage "Cabal" "3.8.1.0"
     , callHackage "ghc-lib-parser-ex" "9.4.0.0"
     , callHackage "ghc-paths" "0.1.0.12"
     , callHackage "ghc-tcplugins-extra" "0.4.3"
+    , callHackage "ghc-typelits-natnormalise" "0.7.7"
     , callHackage "ghcid" "0.8.8"
     , callHackage "hackage-security" "0.6.2.2"
     , callHackage "hashable" "1.4.1.0"

overlay.nix

@@ -229,6 +229,8 @@ final: prev: with pkgs.haskell.lib; {
 
     ghc-tcplugins-extra = prev.callPackage (./pkgs/ghc-tcplugins-extra.nix) { };
 
+    ghc-typelits-natnormalise = prev.callPackage (./pkgs/ghc-typelits-natnormalise.nix) { };
+
     ghcid = prev.callPackage (./pkgs/ghcid.nix) { };
 
     hackage-security = prev.callPackage (./pkgs/hackage-security.nix) { };

pkgs/ghc-typelits-natnormalise.nix

+{ mkDerivation, base, containers, ghc, ghc-bignum, ghc-prim
+, ghc-tcplugins-extra, lib, tasty, tasty-hunit, template-haskell
+, transformers
+}:
+mkDerivation {
+  pname = "ghc-typelits-natnormalise";
+  version = "0.7.7";
+  sha256 = "90ea374a1d58c1cd6cd3fb156f99873aae90bfb419279ca178372f2287d7175f";
+  libraryHaskellDepends = [
+    base containers ghc ghc-bignum ghc-tcplugins-extra transformers
+  ];
+  testHaskellDepends = [
+    base ghc-prim tasty tasty-hunit template-haskell
+  ];
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  hyperlinkSource = false;
+  homepage = "http://www.clash-lang.org/";
+  description = "GHC typechecker plugin for types of kind GHC.TypeLits.Nat";
+  license = lib.licenses.bsd2;
+}
\ No newline at end of file