This website requires JavaScript.
Explore
Help
Register
Sign In
colin
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
604,876
Commits
125
Branches
0
Tags
3.4
GiB
35fde99980
Commit Graph
3 Commits
Author
SHA1
Message
Date
Felix Buehler
3df56ed3e4
idris-modules: rename name to pname
2022-02-23 11:28:15 +01:00
Pavol Rusnak
a6ce00c50c
treewide: remove stdenv where not needed
2021-01-25 18:31:47 +01:00
Mike Sperber
620f3c6cf7
idrisPackages: add tf-random package
2020-03-20 13:44:50 +01:00