Langston Barrett
|
e7b3d9c7c8
|
wl-pprint: update to 2016-09-28
|
2016-09-28 19:36:44 +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 |
|