pkgs/development/idris-modules/hezarfen.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , lib
   4 }:
   5 build-idris-package  {
   6   pname = "hezarfen";
   7   version = "2018-02-03";
   8
   9   src = fetchFromGitHub {
  10     owner = "joom";
  11     repo = "hezarfen";
  12     rev = "079884d85619cd187ae67230480a1f37327f8d78";
  13     sha256 = "0z4150gavpx64m3l0xbjjz9dcir7zij9hvd69k98zvhw7i27b1xp";
  14   };
  15
  16   meta = {
  17     description = "a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features";
  18     homepage = "https://github.com/joom/hezarfen";
  19     license = lib.licenses.mit;
  20     maintainers = [ lib.maintainers.brainrape ];
  21   };
  22 }