This website requires JavaScript.
Explore
Help
Sign In
philipp
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
Code
Issues
Pull requests
Projects
Releases
Activity
882ce52a81
nixpkgs
/
pkgs
/
development
/
compilers
/
idris
History
Peter Simons
d86fb89aa6
haskell-idris: updated to version 0.1.7.1
...
svn path=/nixpkgs/trunk/; revision=28555
2011-08-13 23:38:48 +00:00
..
default.nix
haskell-idris: updated to version 0.1.7.1
2011-08-13 23:38:48 +00:00