numtype-dk: init at 0.5.0.3

manifest.dhall

@@ -451,6 +451,7 @@ in  [ callHackage "Cabal" "3.8.1.0"
     , callHackage "network" "3.1.2.7"
     , callHackage "newtype-generics" "0.6.2"
     , callHackage "nothunks" "0.1.3"
+    , callHackage "numtype-dk" "0.5.0.3"
     , callCabal2nix
         "odd-jobs"
         "https://github.com/saurabhnanda/odd-jobs"

overlay.nix

@@ -651,6 +651,8 @@ self: with pkgs.haskell.lib; {
 
   nothunks = self.callPackage (./pkgs/nothunks.nix) { };
 
+  numtype-dk = self.callPackage (./pkgs/numtype-dk.nix) { };
+
   odd-jobs = self.callPackage (./pkgs/odd-jobs.nix) { };
 
   old-locale = self.callPackage (./pkgs/old-locale.nix) { };

pkgs/numtype-dk.nix

+{ mkDerivation, base, lib }:
+mkDerivation {
+  pname = "numtype-dk";
+  version = "0.5.0.3";
+  sha256 = "f49351544dfc7920df46d24f3734f116f32ded5add7bb950b0e00e2a10c7bd9e";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [ base ];
+  enableLibraryProfiling = false;
+  enableExecutableProfiling = false;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  homepage = "https://github.com/bjornbm/numtype-dk";
+  description = "Type-level integers, using TypeNats, Data Kinds, and Closed Type Families";
+  license = lib.licenses.bsd3;
+  broken = false;
+}