Matthew Pickering
|
b8a7c455f6
|
Fix idrisPackages.with-packages
1. The ln step was failing due to a file already existing
2. gcc was invoked directly which caused failure on OS X.
|
2017-10-30 12:25:33 +01:00 |
|
xd1le
|
98c7361d3b
|
idrisPackages.lightyear: 2016-08-01 -> 2017-09-10
|
2017-10-19 02:03:36 +11:00 |
|
Shea Levy
|
1a1ad1a17d
|
Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs"
This reverts commit c3af1210b4, reversing
changes made to 49f175cd0c.
|
2017-09-29 09:11:26 -04:00 |
|
Shea Levy
|
c3af1210b4
|
Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs
|
2017-09-28 18:10:50 -04:00 |
|
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 |
|