pkgs/development/idris-modules/semidirect.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , contrib
   4 , patricia
   5 , lib
   6 }:
   7 build-idris-package  {
   8   name = "semidirect";
   9   version = "2018-07-02";
  10
  11   idrisDeps = [ contrib patricia ];
  12
  13   src = fetchFromGitHub {
  14     owner = "clayrat";
  15     repo = "idris-semidirect";
  16     rev = "e19c58f7a25c53bba2ab058821e038bae3c093d2";
  17     sha256 = "0182r9z34kbv3l78pw4qf48ng3hqj4sqzy53074mb0b2c3pikcrl";
  18   };
  19
  20   meta = {
  21     description = "Semidirect products in Idris";
  22     homepage = "https://github.com/clayrat/idris-semidirect";
  23     maintainers = [ lib.maintainers.brainrape ];
  24   };
  25 }