Dawoox/nixpkgs
1
1
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
Files
4dc86642ef79e472bf9c3255294d6cfbb59283ea
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
…