pkgs/development/idris-modules/config.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , effects
   4 , containers
   5 , lightyear
   6 , test
   7 , lib
   8 }:
   9 build-idris-package  {
  10   pname = "config";
  11   version = "2017-11-06";
  12
  13   idrisDeps = [ effects containers lightyear test ];
  14
  15   src = fetchFromGitHub {
  16     owner = "benclifford";
  17     repo = "idris-config";
  18     rev = "92f98652f5cb06a76c47809f16c661ec6cf11048";
  19     sha256 = "1w2w2l4drvkf8mdzh3lwn6l5lnkbxlx9p22s7spw82n5s4wib6c9";
  20   };
  21
  22   meta = {
  23     description = "Parsers for various configuration files written in Idris";
  24     homepage = "https://github.com/benclifford/idris-config";
  25     license = lib.licenses.bsd3;
  26     maintainers = [ lib.maintainers.brainrape ];
  27   };
  28 }