2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 23:23:07 +00:00
Commit Graph

2 Commits

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