pkgs/development/idris-modules/refined.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , lib
   4 }:
   5 build-idris-package  {
   6   pname = "refined";
   7   version = "2017-12-28";
   8
   9   ipkgName = "idris-refined";
  10
  11   src = fetchFromGitHub {
  12     owner = "janschultecom";
  13     repo = "idris-refined";
  14     rev = "e21cdef16106a77b42d193806c1749ba6448a128";
  15     sha256 = "1am7kfc51p2zlml954v8cl9xvx0g0f1caq7ni3z36xvsd7fh47yh";
  16   };
  17
  18   meta = {
  19     description = "Port of Scala/Haskell Refined library to Idris";
  20     homepage = "https://github.com/janschultecom/idris-refined";
  21     license = lib.licenses.asl20;
  22     maintainers = [ lib.maintainers.brainrape ];
  23   };
  24 }