69 commits

Author	SHA1	Message	Date
Tuomas Tynkkynen	0c368ef02f	treewide: Escape backslash in strings properly ... "\." is apparently the same as "." wheras the correct one is "\\."	2017-09-14 01:03:39 +03:00
Will Fancher	4d860389d8	Merge branch 'master' into improved-make-overridable	2017-08-26 11:39:13 -04:00
Thomas Tuegel	b438d394ce	idrisPackages.idris: 1.0 -> 1.1.1	2017-08-23 06:45:32 -05:00
Thomas Tuegel	ca381067e7	idrisPackages.build-builtin-package: Include version in name	2017-08-22 19:48:56 -05:00
Will Fancher	8b764960e9	Added overrideScope for callPackageWith ... Consequently removing several ad-hoc definitions of the same concept.	2017-07-13 14:56:13 -04:00
Márton Boros	4c1d8b4347	idrisPackages.httpclient: init	2016-12-20 00:28:23 +01:00
Jörg Thalheim	57df343745	Merge pull request #19003 from siddharthist/lightyear/init ... lightyear: init at 9420f9e	2016-09-29 16:16:10 +02:00
Langston Barrett	e7b3d9c7c8	wl-pprint: update to 2016-09-28	2016-09-28 19:36:44 +00:00
Langston Barrett	0b532b7d2a	lightyear: init at 9420f9e	2016-09-27 18:01:15 +00:00
Shea Levy	7bda74f676	idris-modules: pkgs.gnome is now pkgs.gnome2. ... Fixes #18998. Closes #19002.	2016-09-27 13:52:25 -04:00
Shea Levy	920930510e	idris-wl-pprint: Use fetchFromGitHub	2015-11-28 05:53:50 -05:00
Shea Levy	9562549ff2	idris-modules: Add docs	2015-11-27 13:34:38 -05:00
Shea Levy	0f90c9dbc1	idris-modules: documentation	2015-11-27 13:17:17 -05:00
Shea Levy	0dce60b34d	Add wl-pprint Idris package.	2015-11-27 11:03:04 -05:00
Shea Levy	a01c7b5a15	idris-modules: Filter out default.nix	2015-11-27 09:57:49 -05:00
Shea Levy	a5ca796f55	idris-modules: Read the filesystem to populate package list	2015-11-27 09:55:22 -05:00
Shea Levy	efbee054fd	Add builtin idris packages to idrisPackages	2015-11-27 09:35:59 -05:00
Shea Levy	5898c20604	Add idrisPackages to all-packages.nix	2015-11-27 08:19:50 -05:00
Shea Levy	34e8eea942	Add with-packages wrapper for idris	2015-11-27 07:56:11 -05:00