pkgs/development/idris-modules/refined.nix

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