613aff2Refactor stack-shell.nix to use buildStackProjectVaibhav Sagar9 years ago acb198dUpdate resolver to match current version of GHCVaibhav Sagar9 years ago 253c5c8Bump Idris to compile using LTS Haskell 9.0.Jan de Muijnck-Hughes9 years ago 00dfe3eUpdated stack configuration to use LTS-8.18.Jan de Muijnck-Hughes9 years ago a11b187Updated to latest LTS HaskellJan de Muijnck-Hughes10 years ago ffc5cfaIdris builds against LTS Haskell 8.04.Jan de Muijnck-Hughes10 years ago 284533bBumped stack version.Jan de Muijnck-Hughes10 years ago 2e080f9Bump to latest LTS Haskell 7.14.Jan de Muijnck-Hughes10 years ago 7d2adeeUpdated Stack Resolver to LTS 7.10.Jan de Muijnck-Hughes10 years ago 397f5b8Pushed Stack configuration to latest LTS Haskell Major.Jan de Muijnck-Hughes10 years ago d4a1920Bump Idris' stack settings to use LTS Haskell 6.17.Jan de Muijnck-Hughes10 years ago 0c8a486Bumped Idris to LTS 6.9.Jan de Muijnck-Hughes10 years ago e621121Merge pull request #3236 from tpsinnem/stack-nix-lib-fixesAhmad Salim Al-Sibahi10 years ago e976b02Bumped Stack resolver to LTS 6.4.Jan de Muijnck-Hughes10 years ago 4abfa34Added native libs to LD_LIBRARY_PATH due to ghci issue.Timo Petteri Sinnemäki10 years ago bf51d47Indirect dependency terminfo requires ncurses.Timo Petteri Sinnemäki10 years ago 1435096Bumped stack to latest version 5.11Jan de Muijnck-Hughes11 years ago 7f5d2e4Bumped idris to work with latest LTS Haskell release 5.9.Jan de Muijnck-Hughes11 years ago b64f0fdRemove curses dependencyNiklas Larsson11 years ago 9de23d5Fix stack --nix on OS XAlexander Shabalin11 years ago