kookienomicon - My personal project and infrastructure archive

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