mirror/nixpkgs - Nix packages collection

Age	Commit message (Collapse)	Author	Files	Lines
2018-07-02	idris: Clean up package builder	Silvan Mosberger	1	-1/+1

2018-05-25	treewide: use appendToName where appropriate	Matthew Bauer	1	-3/+3
	Using appendToName preserves the version at the end of the name.
2018-02-07	Refactor Idris packaging infrastructure	Matthew Pickering	1	-37/+11
	The main two changes are 1. Completely rewrite how with-packages works to remove use of envHooks 2. The package description is now an idris specific set rather than being a subset of the arguments to mkDerivation. This mirrors the way Haskell packages are treated.
2017-12-30	treewide: Don't use envHook anymore	John Ericson	1	-1/+1
	This commits needs a MAJOR audit as I oftentimes just guessed which of `$hostOffset`, `$targetOffset`, or a fixed offset should be used.
2017-10-30	Fix idrisPackages.with-packages	Matthew Pickering	1	-2/+2
	1. The ln step was failing due to a file already existing 2. gcc was invoked directly which caused failure on OS X.
2015-11-27	idris-modules: documentation	Shea Levy	1	-2/+4

2015-11-27	idris-modules: Read the filesystem to populate package list	Shea Levy	1	-0/+44