This website requires JavaScript.
Explore
Help
Register
Sign In
JakeHillion
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
161,515
Commits
1
Branch
0
Tags
12
GiB
6182a3fe4d
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