This website requires JavaScript.
Explore
Help
Register
Sign In
alioth
/
nixpkgs
Watch
3
Star
0
Fork
You've already forked nixpkgs
0
forked from
mirrors/nixpkgs
Code
Releases
Activity
164365
commits
217
branches
121
tags
4.5
GiB
7dfd2015a1
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