pkgs/development/idris-modules/tomladris.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , contrib
   4 , lightyear
   5 , lib
   6 }:
   7 build-idris-package  {
   8   name = "tomladris";
   9   version = "2017-11-14";
  10
  11   idrisDeps = [ lightyear contrib ];
  12
  13   src = fetchFromGitHub {
  14     owner = "emptyflash";
  15     repo = "tomladris";
  16     rev = "0fef663e20528c455f410f01124c8e3474a96606";
  17     sha256 = "0a0fc0bsr356plgzsr5sr4qmqx4838998wjwmflz10qwsv1j3zsw";
  18   };
  19
  20   meta = {
  21     description = "TOML parser for Idris";
  22     homepage = "https://github.com/emptyflash/tomladris";
  23     license = lib.licenses.mit;
  24     maintainers = with lib.maintainers; [ siddharthist brainrape ];
  25   };
  26 }