pkgs/development/idris-modules/logic.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , bifunctors
   4 , lib
   5 }:
   6 build-idris-package  {
   7   pname = "logic";
   8   version = "2016-12-02";
   9
  10   idrisDeps = [ bifunctors ];
  11
  12   src = fetchFromGitHub {
  13     owner = "yurrriq";
  14     repo = "idris-logic";
  15     rev = "e0bed57e17fde1237fe0358cb77b25f488a04d2f";
  16     sha256 = "0kvn1p0v71vkwlchf20243c47jcfid44w5r0mx4dydijq9gylxfz";
  17   };
  18
  19   # tests fail
  20   doCheck = false;
  21
  22   meta = {
  23     description = "Propositional logic tools, inspired by the Coq standard library";
  24     homepage = "https://github.com/yurrriq/idris-logic";
  25     license = lib.licenses.mit;
  26     maintainers = [ lib.maintainers.brainrape ];
  27   };
  28 }