Skip to content
Snippets Groups Projects
Commit 5fc9fb07 authored by Daniel Firth's avatar Daniel Firth
Browse files

checkers: init at 0.6.0

parent 801be9d5
Branches
Tags
No related merge requests found
...@@ -142,6 +142,7 @@ in [ callHackage "Cabal" "3.8.1.0" ...@@ -142,6 +142,7 @@ in [ callHackage "Cabal" "3.8.1.0"
, callHackage "cborg-json" "0.2.5.0" , callHackage "cborg-json" "0.2.5.0"
, callHackage "cereal" "0.5.8.3" , callHackage "cereal" "0.5.8.3"
, callHackage "charset" "0.3.9" , callHackage "charset" "0.3.9"
, callHackage "checkers" "0.6.0"
, callHackage "citeproc" "0.8.0.1" , callHackage "citeproc" "0.8.0.1"
, callHackage "clock" "0.8.3" , callHackage "clock" "0.8.3"
, callHackage "cmdargs" "0.10.21" , callHackage "cmdargs" "0.10.21"
......
...@@ -169,6 +169,8 @@ self: with pkgs.haskell.lib; { ...@@ -169,6 +169,8 @@ self: with pkgs.haskell.lib; {
charset = self.callPackage (./pkgs/charset.nix) { }; charset = self.callPackage (./pkgs/charset.nix) { };
checkers = self.callPackage (./pkgs/checkers.nix) { };
citeproc = self.callPackage (./pkgs/citeproc.nix) { }; citeproc = self.callPackage (./pkgs/citeproc.nix) { };
clock = self.callPackage (./pkgs/clock.nix) { }; clock = self.callPackage (./pkgs/clock.nix) { };
......
{ 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;
}
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment