b01f45aAdded stacksiko7 years ago d7a669bMigrated to lts-15.3iko7 years ago bc5ee4bAdd a travis target building Idris 2Niklas Larsson7 years ago 5e74cd7An attempt to use proper Cabal version.Denis Buzdalov7 years ago 59f26a9Needed packages were added to the `stack.yaml`.Denis Buzdalov7 years ago a70b24dAdd a missing extra package.Matus Tejiscak7 years ago 140671aFix Travis build by removing redundant stack.yaml entry.Matus Tejiscak7 years ago 9870904Add 'tasty-rerun' to extra deps in stack.yamlDmitry Shlagoff7 years ago e09ab81Bump stack to latest version.Jan de Muijnck-Hughes7 years ago 7e876eastack.yaml: switch to lts-13.0 (ghc 8.6.3)tuncer8 years ago 0b669c7Merge branch 'master' of https://github.com/jmorag/Idris-dev into megaparsec7Jorge Acereda8 years ago ca34decBump megaparec versions in idris.cabal and stack.yamlJoseph Morag8 years ago 242b40estack: update to build with 8.4.4Tuncer Ayaz8 years ago efb1569Updated to latest LTS Haskell snapshot.Jan de Muijnck-Hughes8 years ago 350189aupdated stack to latest LTS version (11.11)Jan de Muijnck-Hughes8 years ago b8f34d1Bump to LTS 11.3 and fingertree-0.1.4.1Joomy Korkut9 years ago 575cc50Bump Idris to compile against LTS 10.4.Jan de Muijnck-Hughes9 years ago cd7e553Bumped Idris to work with LTS Haskell 10.Jan de Muijnck-Hughes9 years ago aa63280Make sure a point release of idris builds with LTS Haskell.Jan de Muijnck-Hughes9 years ago 5bb7180Move the stackage resolver one month forwardAlex Queiroz9 years ago c37edddMake Idris build with Stack nightlyAlex Queiroz9 years ago d4bd8e6Clean up unused imports (#4065)Jason Felice9 years ago 0e118ddchange extra-deps for idris 1.1.0 lts-9.0 resolverMarcelineVQ9 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 a09a1bfBuild with GHC8 and trifecta-1.6David Kraeutmann10 years ago e976b02Bumped Stack resolver to LTS 6.4.Jan de Muijnck-Hughes10 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 2a7f9a4Added missing libFFI dependency for Stack.Jan de Muijnck-Hughes11 years ago 372d2eaUpdated the stack configuration to LTS Haskell 5.5Jan de Muijnck-Hughes11 years ago 2987cbbUpdate stack.yaml: curses flag was removedEcho Nolan11 years ago b64f0fdRemove curses dependencyNiklas Larsson11 years ago 9de23d5Fix stack --nix on OS XAlexander Shabalin11 years ago 60e11f7Bump up the stack resolver versionDmitry Tsygankov11 years ago 796f3dcStack: Add the Nix package dependenciesDmitry Tsygankov11 years ago f9e19d7Bump up the stack resolver versionDmitry Tsygankov11 years ago 69846d9Saner defaults for stack and revised installation instructions.Jan de Muijnck-Hughes11 years ago 9a82c0dupdated stack yamlTim Dysinger11 years ago b6d0eacAdd Stackage Configuration for easy buildingSam Elliott11 years ago