search

idris-hackers / idrispkgs

Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/idris-modules
MIT License
28 stars 4 forks source link

Haskell and NixOS #1

Closed jagajaga closed 9 years ago

jagajaga commented 9 years ago

Nice work! But please note, that in some time cabal.mkDerivation is going to be deprecated in NixOS, because there is a new generation of haskell pkgs managing called haskellng.

puffnfresh commented 9 years ago

@jagajaga I'm very aware of haskellng! :+1:

I'll port the Idris derivation over.

jagajaga commented 9 years ago

Oh, that's nice! :)