alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
143789 commits 217 branches 121 tags 4.5 GiB
Commit graph

8 commits

Author SHA1 Message Date
Márton Boros 23ee7c9d8d idrisPackages: add packages 2018-03-20 07:16:21 +01:00
Márton Boros 4d4171d5f6 idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13 2018-03-09 10:22:53 +01:00
Márton Boros 4f1d26288f idrisPackages: fix errors 2018-03-09 09:57:18 +01:00
Matthew Pickering 947e7d80b4 Refactor Idris packaging infrastructure 
The main two changes are

1. Completely rewrite how with-packages works to remove use of envHooks
2. The package description is now an idris specific set rather than
    being a subset of the arguments to mkDerivation. This mirrors the
    way Haskell packages are treated.
 2018-02-07 19:25:50 +00:00
Langston Barrett e7b3d9c7c8 wl-pprint: update to 2016-09-28 2016-09-28 19:36:44 +00:00
Shea Levy 920930510e idris-wl-pprint: Use fetchFromGitHub 2015-11-28 05:53:50 -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