mirror/nixpkgs - Nix packages collection

Age	Commit message (Collapse)	Author	Files	Lines
2022-02-23	idris-modules: rename name to pname	Felix Buehler	1	-5/+5

2018-07-21	pkgs/*: remove unreferenced function arguments	volth	1	-1/+1

2018-07-05	build-idris-package: includePreludeBase -> noPrelude, noBase	Silvan Mosberger	1	-1/+2
	Resembles idris --noprelude and --nobasepkgs arguments
2018-07-02	idris: Clean up package builder	Silvan Mosberger	1	-0/+2

2018-02-07	Refactor Idris packaging infrastructure	Matthew Pickering	1	-8/+4
	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-08-23	idrisPackages.idris: 1.0 -> 1.1.1	Thomas Tuegel	1	-2/+5

2017-08-22	idrisPackages.build-builtin-package: Include version in name	Thomas Tuegel	1	-2/+6

2015-11-27	idris-modules: documentation	Shea Levy	1	-2/+9

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

2015-11-27	Add builtin idris packages to idrisPackages	Shea Levy	1	-0/+12