nixpkgs-suyu/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
Mateusz Kowalczyk 1451a52a38 Remove myself (fuuzetsu) from maintainer lists
I haven't been doing any maintenance for a long time now and not only
do I get notified, it also creates a fake impression that all these
packages had at least one maintainer when in practice they had none.
2019-12-05 16:29:48 +09:00

27 lines
683 B
Nix

{ stdenv, agda, fetchFromGitHub }:
agda.mkDerivation (self: rec {
version = "1.5.0";
name = "agda-iowa-stdlib-${version}";
src = fetchFromGitHub {
owner = "cedille";
repo = "ial";
rev = "v${version}";
sha256 = "0dlis6v6nzbscf713cmwlx8h9n2gxghci8y21qak3hp18gkxdp0g";
};
sourceDirectories = [ "./." ];
buildPhase = ''
patchShebangs find-deps.sh
make
'';
meta = {
homepage = https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib/;
description = "Agda standard library developed at Iowa";
license = stdenv.lib.licenses.free;
platforms = stdenv.lib.platforms.unix;
maintainers = with stdenv.lib.maintainers; [ ];
};
})