pkgs/development/libraries/agda/agda-categories/default.nix

   1 { lib, mkDerivation, fetchFromGitHub, standard-library }:
   2
   3 mkDerivation rec {
   4   version = "0.1.5";
   5   pname = "agda-categories";
   6
   7   src = fetchFromGitHub {
   8     owner = "agda";
   9     repo = "agda-categories";
  10     rev = "v${version}";
  11     sha256 = "1b5gj0r2z5fhh7k8b9s2kx4rjv8gi5y8ijgrbcvsa06n3acap3lm";
  12   };
  13
  14   buildInputs = [ standard-library ];
  15
  16   meta = with lib; {
  17     inherit (src.meta) homepage;
  18     description = "A new Categories library";
  19     license = licenses.bsd3;
  20     platforms = platforms.unix;
  21     maintainers = with maintainers; [ alexarice turion ];
  22   };
  23 }