nixpkgs/pkgs/development/libraries/agda/agda-stdlib/default.nix

{ stdenv, agda, fetchFromGitHub, ghcWithPackages }:

agda.mkDerivation (self: rec {
  version = "1.1";
  name = "agda-stdlib-${version}";

  src = fetchFromGitHub {
    repo = "agda-stdlib";
    owner = "agda";
    rev = "v${version}";
    sha256 = "190bxsy92ffmvwpmyyg3lxs91vyss2z25rqz1w79gkj56484cy64";
  };

  nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ];
  preConfigure = ''
    runhaskell GenerateEverything.hs
  '';

  topSourceDirectories = [ "src" ];

  meta = with stdenv.lib; {
    homepage = http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary;
    description = "A standard library for use with the Agda compiler";
    license = stdenv.lib.licenses.mit;
    platforms = stdenv.lib.platforms.unix;
    broken = stdenv.isDarwin;
    maintainers = with maintainers; [ jwiegley mudri ];
  };
})
agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1) 2016-06-07 10:52:55 +01:00			`{ stdenv, agda, fetchFromGitHub, ghcWithPackages }:`
Add expression for the Agda standard library 2014-05-03 01:15:38 +01:00
Use agda builder for stdlib. mv to all-packages 2014-09-01 01:31:17 +01:00			`agda.mkDerivation (self: rec {`
AgdaStdlib: 1.0.1 -> 1.1 Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/agda-stdlib/versions 2019-08-17 20:04:13 +01:00			`version = "1.1";`
agda: migrate to haskell-ng, update and cleanup Resolves https://github.com/NixOS/nixpkgs/pull/7172. 2015-04-05 02:49:07 +01:00			`name = "agda-stdlib-${version}";`
Add expression for the Agda standard library 2014-05-03 01:15:38 +01:00
agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1) 2016-06-07 10:52:55 +01:00			`src = fetchFromGitHub {`
			`repo = "agda-stdlib";`
			`owner = "agda";`
			`rev = "v${version}";`
AgdaStdlib: 1.0.1 -> 1.1 Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/agda-stdlib/versions 2019-08-17 20:04:13 +01:00			`sha256 = "190bxsy92ffmvwpmyyg3lxs91vyss2z25rqz1w79gkj56484cy64";`
Add expression for the Agda standard library 2014-05-03 01:15:38 +01:00			`};`

agda: migrate to haskell-ng, update and cleanup Resolves https://github.com/NixOS/nixpkgs/pull/7172. 2015-04-05 02:49:07 +01:00			`nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ];`
Use agda builder for stdlib. mv to all-packages 2014-09-01 01:31:17 +01:00			`preConfigure = ''`
agda-stdlib: make expression nicer, fix license 2014-09-11 20:17:45 +01:00			`runhaskell GenerateEverything.hs`
Add expression for the Agda standard library 2014-05-03 01:15:38 +01:00			`'';`

Use agda builder for stdlib. mv to all-packages 2014-09-01 01:31:17 +01:00			`topSourceDirectories = [ "src" ];`

fix eval 2014-09-04 23:05:52 +01:00			`meta = with stdenv.lib; {`
pkgs: refactor needless quoting of homepage meta attribute (#27809) * pkgs: refactor needless quoting of homepage meta attribute A lot of packages are needlessly quoting the homepage meta attribute (about 1400, 22%), this commit refactors all of those instances. * pkgs: Fixing some links that were wrongfully unquoted in the previous commit * Fixed some instances 2017-08-01 21:03:30 +01:00			`homepage = http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary;`
Fixed many descriptions 2014-11-11 13:20:43 +00:00			`description = "A standard library for use with the Agda compiler";`
agda-stdlib: make expression nicer, fix license 2014-09-11 20:17:45 +01:00			`license = stdenv.lib.licenses.mit;`
			`platforms = stdenv.lib.platforms.unix;`
agda-stdlib: broken on darwin 2018-06-23 22:47:52 +01:00			`broken = stdenv.isDarwin;`
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 07:29:48 +00:00			`maintainers = with maintainers; [ jwiegley mudri ];`
Add expression for the Agda standard library 2014-05-03 01:15:38 +01:00			`};`
fix eval 2014-09-04 23:05:52 +01:00			`})`