Cabal2Nix/PostProcess.hs: configure for idris 0.9.9
Cabal2Nix/PostProcess.hs: configure for idris 0.9.9

jb55/cabal2nix,spencerjanssen/cabal2nix,gridaphobe/cabal2nix,psibi/cabal2nix,dmalikov/cabal2nix,bennofs/cabal2nix,Fuuzetsu/cabal2nix