From 5fc9fb0757fb6796d88fd4b7e2bcf40275720662 Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Mon, 7 Nov 2022 12:02:19 +0000
Subject: [PATCH] checkers: init at 0.6.0
---
manifest.dhall | 1 +
overlay.nix | 2 ++
pkgs/checkers.nix | 34 ++++++++++++++++++++++++++++++++++
3 files changed, 37 insertions(+)
create mode 100644 pkgs/checkers.nix
diff --git a/manifest.dhall b/manifest.dhall
index 04e00bf5..103acd7d 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -142,6 +142,7 @@ in [ callHackage "Cabal" "3.8.1.0"
, callHackage "cborg-json" "0.2.5.0"
, callHackage "cereal" "0.5.8.3"
, callHackage "charset" "0.3.9"
+ , callHackage "checkers" "0.6.0"
, callHackage "citeproc" "0.8.0.1"
, callHackage "clock" "0.8.3"
, callHackage "cmdargs" "0.10.21"
diff --git a/overlay.nix b/overlay.nix
index 9c805c83..3d3814b0 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -169,6 +169,8 @@ self: with pkgs.haskell.lib; {
charset = self.callPackage (./pkgs/charset.nix) { };
+ checkers = self.callPackage (./pkgs/checkers.nix) { };
+
citeproc = self.callPackage (./pkgs/citeproc.nix) { };
clock = self.callPackage (./pkgs/clock.nix) { };
diff --git a/pkgs/checkers.nix b/pkgs/checkers.nix
new file mode 100644
index 00000000..02a59b77
--- /dev/null
+++ b/pkgs/checkers.nix
@@ -0,0 +1,34 @@
+{ mkDerivation
+, array
+, base
+, lib
+, QuickCheck
+, random
+, semigroupoids
+}:
+mkDerivation {
+ pname = "checkers";
+ version = "0.6.0";
+ sha256 = "c07cd3563ea251000f7ce41db2d38e3bf94c9dcf60943a5eecc83b3089d299e4";
+ isLibrary = true;
+ isExecutable = false;
+ enableSeparateDataOutput = false;
+ libraryHaskellDepends = [
+ array
+ base
+ QuickCheck
+ random
+ semigroupoids
+ ];
+ enableLibraryProfiling = false;
+ enableExecutableProfiling = false;
+ doHaddock = false;
+ jailbreak = true;
+ doCheck = false;
+ doBenchmark = false;
+ hyperlinkSource = false;
+ homepage = "https://github.com/haskell-checkers/checkers";
+ description = "Check properties on standard classes and data structures";
+ license = lib.licenses.bsd3;
+ broken = false;
+}
--
GitLab