nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-01 15:11:25 +00:00
Code Issues Packages Projects Releases Wiki Activity
172,286 Commits 214 Branches 122 Tags 7.6 GiB
54cf5b4bbf
Commit Graph

3 Commits

Author SHA1 Message Date
TG x
7e0f7a0b54 build-idris-package: ipkgName 2018-09-18 10:38:59 +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