From cbcd5d056f91fcdbc55490339040fbf49ffc3ffc Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Mon, 7 Nov 2022 11:26:25 +0000
Subject: [PATCH] numtype-dk: init at 0.5.0.3
---
manifest.dhall | 1 +
overlay.nix | 2 ++
pkgs/numtype-dk.nix | 21 +++++++++++++++++++++
3 files changed, 24 insertions(+)
create mode 100644 pkgs/numtype-dk.nix
diff --git a/manifest.dhall b/manifest.dhall
index b0c6d856..405108dd 100644
--- a/manifest.dhall
+++ b/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"
diff --git a/overlay.nix b/overlay.nix
index a0c78631..14d33aa3 100644
--- a/overlay.nix
+++ b/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) { };
diff --git a/pkgs/numtype-dk.nix b/pkgs/numtype-dk.nix
new file mode 100644
index 00000000..2e530d6a
--- /dev/null
+++ b/pkgs/numtype-dk.nix
@@ -0,0 +1,21 @@
+{ 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;
+}
--
GitLab