public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
219,624 Commits 1 Branch 0 Tags 1.5 GiB
Commit Graph

3 Commits

Author SHA1 Message Date
Silvan Mosberger 0519b48ab8
idrisPackages.setoids: 2017-03-13 -> 2018-06-18, 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