Silvan Mosberger
|
41b55b3508
|
idrisPackages.{categories,derive}: Use upstream instead of forks
These forks were introduced in https://github.com/NixOS/nixpkgs/pull/42861 to
make the builds succeed. The changes have since been incorporated
upstream.
|
2018-10-26 11:15:10 +02:00 |
|
Silvan Mosberger
|
c6c726bdfd
|
idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix build
|
2018-07-02 06:43:15 +02:00 |
|
Silvan Mosberger
|
b73f540beb
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
Márton Boros
|
23ee7c9d8d
|
idrisPackages: add packages
|
2018-03-20 07:16:21 +01:00 |
|