nixpkgs/pkgs/development/idris-modules
2015-11-27 07:56:11 -05:00
..
with-packages-wrapper.nix Add with-packages wrapper for idris 2015-11-27 07:56:11 -05:00