forked from mirrors/nixpkgs
677f91a6d1
svn path=/nixpkgs/trunk/; revision=15595 |
||
---|---|---|
.. | ||
default.nix | ||
idris.context |
677f91a6d1
svn path=/nixpkgs/trunk/; revision=15595 |
||
---|---|---|
.. | ||
default.nix | ||
idris.context |