pkgs/development/libraries/agda/generics/default.nix

   1 { lib, mkDerivation, fetchFromGitHub, standard-library }:
   2
   3 mkDerivation rec {
   4   pname = "generics";
   5   version = "1.0.1";
   6
   7   src = fetchFromGitHub {
   8     owner = "flupe";
   9     repo = pname;
  10     rev = "v${version}";
  11     sha256 = "sha256-B1eT6F0Dp2zto50ulf+K/KYMlMp8Pgc/tO9qkcqn+O8=";
  12   };
  13
  14   buildInputs = [
  15     standard-library
  16   ];
  17
  18   # everythingFile = "./README.agda";
  19
  20   meta = with lib; {
  21     description =
  22       "Library for datatype-generic programming in Agda";
  23     homepage = src.meta.homepage;
  24     license = licenses.mit;
  25     platforms = platforms.unix;
  26     maintainers = with maintainers; [ turion ];
  27   };
  28 }