git.iko.soy/Idris-dev
on cd87fcd help sign in
history ofstack.yaml
all commits
5bb7180Move the stackage resolver one month forwardAlex Queiroz c37edddMake Idris build with Stack nightlyAlex Queiroz d4bd8e6Clean up unused imports (#4065)Jason Felice 0e118ddchange extra-deps for idris 1.1.0 lts-9.0 resolverMarcelineVQ 253c5c8Bump Idris to compile using LTS Haskell 9.0.Jan de Muijnck-Hughes 00dfe3eUpdated stack configuration to use LTS-8.18.Jan de Muijnck-Hughes a11b187Updated to latest LTS HaskellJan de Muijnck-Hughes ffc5cfaIdris builds against LTS Haskell 8.04.Jan de Muijnck-Hughes 284533bBumped stack version.Jan de Muijnck-Hughes 2e080f9Bump to latest LTS Haskell 7.14.Jan de Muijnck-Hughes 7d2adeeUpdated Stack Resolver to LTS 7.10.Jan de Muijnck-Hughes 397f5b8Pushed Stack configuration to latest LTS Haskell Major.Jan de Muijnck-Hughes d4a1920Bump Idris' stack settings to use LTS Haskell 6.17.Jan de Muijnck-Hughes 0c8a486Bumped Idris to LTS 6.9.Jan de Muijnck-Hughes a09a1bfBuild with GHC8 and trifecta-1.6David Kraeutmann e976b02Bumped Stack resolver to LTS 6.4.Jan de Muijnck-Hughes 1435096Bumped stack to latest version 5.11Jan de Muijnck-Hughes 7f5d2e4Bumped idris to work with latest LTS Haskell release 5.9.Jan de Muijnck-Hughes 2a7f9a4Added missing libFFI dependency for Stack.Jan de Muijnck-Hughes 372d2eaUpdated the stack configuration to LTS Haskell 5.5Jan de Muijnck-Hughes 2987cbbUpdate stack.yaml: curses flag was removedEcho Nolan b64f0fdRemove curses dependencyNiklas Larsson 9de23d5Fix stack --nix on OS XAlexander Shabalin 60e11f7Bump up the stack resolver versionDmitry Tsygankov 796f3dcStack: Add the Nix package dependenciesDmitry Tsygankov f9e19d7Bump up the stack resolver versionDmitry Tsygankov 69846d9Saner defaults for stack and revised installation instructions.Jan de Muijnck-Hughes 9a82c0dupdated stack yamlTim Dysinger b6d0eacAdd Stackage Configuration for easy buildingSam Elliott