mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-29 17:10:48 +00:00
Code Issues Wiki Activity
160642 commits 256 branches 124 tags 5.2 GiB
Commit graph

4 commits

Author SHA1 Message Date
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