mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2022-02-23	idris-modules: rename name to pname	Felix Buehler	1	-4/+5
2021-11-28	build-idris-package: Use patchPhase for consistency	Maëlys Bras de fer	1	-1/+2
2019-08-07	add options for build idris package (#65666)	Silvan Mosberger	1	-4/+8
2019-08-06	build-idris-package: add options for idris commands	Marco Perone	1	-4/+8
2019-08-02	idrisPackages: Fix overrides not applying	Silvan Mosberger	1	-5/+5
2019-04-28	idrisPackages.build-idris-package: Install binaries	Silvan Mosberger	1	-0/+12
2018-09-18	build-idris-package: ipkgName	TG x	1	-7/+18
2018-07-16	idris: prefix package derivation names with "idris-"	Silvan Mosberger	1	-1/+1
2018-07-05	build-idris-package: includePreludeBase -> noPrelude, noBase	Silvan Mosberger	1	-4/+7
2018-07-02	idris: Clean up package builder	Silvan Mosberger	1	-18/+18
2018-07-02	idrisPackages: install docs	Silvan Mosberger	1	-0/+1
2018-02-07	Refactor Idris packaging infrastructure	Matthew Pickering	1	-28/+32
2018-02-07	Revert "idris: Move library setup to the setup hook."	Matthew Pickering	1	-4/+23
2018-01-20	idris: Move library setup to the setup hook.	Shea Levy	1	-23/+4
2017-12-30	treewide: Don't use envHook anymore	John Ericson	1	-1/+2
2017-08-23	idrisPackages.idris: 1.0 -> 1.1.1	Thomas Tuegel	1	-6/+7
2015-11-27	idris-modules: documentation	Shea Levy	1	-2/+6
2015-11-27	Add wl-pprint Idris package.	Shea Levy	1	-1/+3
2015-11-27	Add builtin idris packages to idrisPackages	Shea Levy	1	-0/+34