From d784833c2943e74c31759f148e3a3f7d1689bbc5 Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Mon, 7 Nov 2022 18:35:50 +0000
Subject: [PATCH] microspec: init at 0.2.1.3

---
 manifest.dhall     |  1 +
 overlay.nix        |  2 ++
 pkgs/microspec.nix | 20 ++++++++++++++++++++
 3 files changed, 23 insertions(+)
 create mode 100644 pkgs/microspec.nix

diff --git a/manifest.dhall b/manifest.dhall
index 52887ebe..08a43480 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -509,6 +509,7 @@ in  [ callHackage "Cabal" "3.8.1.0"
     , callHackage "microlens-platform" "0.4.3.2"
     , callHackage "microlens-th" "0.4.3.10"
     , callHackage "microlens" "0.4.13.0"
+    , callHackage "microspec" "0.2.1.3"
     , callHackage "microstache" "1.0.2.2"
     , callHackage "mmorph" "1.2.0"
     , callHackage "mockery" "0.3.5"
diff --git a/overlay.nix b/overlay.nix
index 91a5f807..60e67855 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -763,6 +763,8 @@ self: with pkgs.haskell.lib; {
 
   microlens-th = self.callPackage (./pkgs/microlens-th.nix) { };
 
+  microspec = self.callPackage (./pkgs/microspec.nix) { };
+
   microstache = self.callPackage (./pkgs/microstache.nix) { };
 
   mmorph = self.callPackage (./pkgs/mmorph.nix) { };
diff --git a/pkgs/microspec.nix b/pkgs/microspec.nix
new file mode 100644
index 00000000..d5d930ee
--- /dev/null
+++ b/pkgs/microspec.nix
@@ -0,0 +1,20 @@
+{ mkDerivation, base, lib, QuickCheck, time }:
+mkDerivation {
+  pname = "microspec";
+  version = "0.2.1.3";
+  sha256 = "8bf530a4bce642431014d5395e4c8ab412bed44fe6caa6c2e1239ea9577b2518";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [ base QuickCheck time ];
+  enableLibraryProfiling = false;
+  enableExecutableProfiling = false;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  description = "Tiny QuickCheck test library with minimal dependencies";
+  license = lib.licenses.bsd3;
+  broken = false;
+}
-- 
GitLab