mirror/nixpkgs - Nix packages collection

Age	Commit message (Collapse)	Author	Files	Lines
2023-02-18	Merge remote-tracking branch 'origin/master' into haskell-updates	sternenseemann	1	-1/+5

2023-02-14	agda: 2.6.2.2 -> 2.6.3	Ingo Blechschmidt	1	-0/+7

2023-02-12	agda: fix passthru	Naïm Favier	1	-1/+5
	The current `//` override to `agda.passthru.tests` is non-recursive so it destroys everything else under `passthru`, and furthermore does not go through `mkDerivation` so that we end up with different values for `agda.tests` and `agda.passthru.tests`. Fix it by moving the `allPackages` test to the definition of `withPackages`.
2023-01-12	agda: pass through meta	Naïm Favier	1	-1/+2

2021-10-19	Merge pull request #98214 from turion/dev_test_all_agda_packages	Manuel Bärenz	2	-0/+10
	Fix #98209. Test all agda packages
2021-08-30	build-support/agda: Make includePaths configurable	Manuel Bärenz	1	-1/+3

2021-08-15	treewide: runCommandNoCC -> runCommand	Robert Hensing	1	-2/+2
	This has been synonymous for ~5y.
2021-08-03	agdaPackages: Build reverse dependencies on test	Manuel Bärenz	2	-0/+10

2021-07-22	agdaPackages: Don't build broken packages on hydra	Manuel Bärenz	1	-0/+2

2021-05-13	mkShell: introduce packages argument (#122180)	Jonas Chevalier	1	-1/+1
	The distinction between the inputs doesn't really make sense in the mkShell context. Technically speaking, we should be using the nativeBuildInputs most of the time. So in order to make this function more beginner-friendly, add "packages" as an attribute, that maps to nativeBuildInputs. This commit also updates all the uses in nixpkgs.
2021-03-30	agda nixos test: add to passthru for agda + stdlib	Alex Rice	1	-2/+5

2021-02-03	Merge pull request #110512 from neosimsim/agda-dont-install-Everything	Anderson Torres	2	-1/+11
	Agda don't install Everything module
2021-01-24	agdaPackages.mkDerivation: don't install Everything module	Alexander Ben Nasrallah	2	-1/+11
	The Everthing module is not part of a library and should therefore not be copied to the nix store. This is particularly bad, if the Everything module is defined in an agda library included directory, e.g. consider an agda-lib with include: . and Everything.agda in the project root (.), in which case the Everything module would become part of the library. If multiple such projects are in the dependency tree, the Everything module becomes ambiguous and the build would fail.
2021-01-22	agda.withPackages: use GHC with ieee754 as default	Alexander Ben Nasrallah	1	-1/+1
	As mentioned in the package description of ieee on Hackage, ieee is deprecated in favor of ieee754.
2020-06-01	agda: install literate files	Alex Rice	1	-1/+12

2020-05-14	agda: rework builder	Alex Rice	1	-82/+63

2019-12-30	treewide: fix *Flags	Robin Gloster	1	-2/+2

2019-12-05	Remove myself (fuuzetsu) from maintainer lists	Mateusz Kowalczyk	1	-2/+0
	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.
2018-12-07	agda: use exec in agdaWrapper	Dmitry Kalinkin	1	-1/+1

2018-11-08	agda: use writeShellScriptbin instead of writeScriptBin	Moritz Kiefer	1	-2/+2
	This adds the shell shebang to the wrapper script. Without this, emacs and in particular agda2-mode (but probably other applications as well) return a format error when trying to execute agda.
2015-05-31	agda: Remove unused/uneeded abstractions, including `postprocess`	John Ericson	1	-18/+11

2015-05-31	agda: Just `with` all of the string helper functions	John Ericson	1	-3/+3

2015-05-30	agda: `postprocess` and `defaults` need not be in the scope of args	John Ericson	1	-81/+80

2015-05-30	agda: Provide a `.env` like Haskell instead of `.extras`	John Ericson	1	-19/+13

2015-05-20	agda: Wrapper is no longer built by default	John Ericson	1	-16/+23
	Instead it is provided to the user who can choose whether or not to include it in the final derivati. Example of including would be: ```nix callPackage ... (self: { inherit (self.extras) extraThing; }) ``` These extras are also available downstream without being built by default. This is achieved with `passthru`.
2015-05-20	agda: Agda dependencies are treated seperately	John Ericson	1	-6/+14
	- Only they are added to the optional build path (share/agda) - Only they are are passed as an include dir (share/agda) - Only they are propigatedBuildInputs
2015-05-18	agda: Remove `extraBuildFlags`	John Ericson	1	-6/+5
	This is unused, future users can just use override `buildFlags` and extend/replace as needed. `includeDirs` is provided for this purpose. We should add `dirOf self.everythingFile` rather than `.`, but `dirOf` breaks on relative paths so that is not an option.
2015-05-18	agda: Remove buildTools, it is unused	John Ericson	1	-3/+1

2015-05-17	agda: Replace `eval` with `runHook`	John Ericson	1	-6/+6
	This is what haskell-ng does, so I figure it is the right thing to do.
2015-05-17	agda: Remove unnecessary env-var export	John Ericson	1	-1/+0
	Derivation attributes are automatically exported as environment variables already.
2015-04-06	agda: migrate to haskell-ng, update and cleanup	Nikolay Amiantov	1	-1/+1
	Resolves https://github.com/NixOS/nixpkgs/pull/7172.
2014-09-01	Add a builder for Agda packages.	Mateusz Kowalczyk	1	-0/+95