Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 12, 2019

• stack.yaml: switch to lts-13.0 (ghc 8.6.3)

  

  tuncer

  committed
  7e876ea

  Copy full SHA for 7e876ea

Commits on Jan 10, 2019

• Merge branch 'master' of https://github.com/jmorag/Idris-dev into megaparsec7

  jacereda

  committed
  0b669c7

  Copy full SHA for 0b669c7

Commits on Dec 10, 2018

• Bump megaparec versions in idris.cabal and stack.yaml

  jmorag

  committed
  ca34dec

  Copy full SHA for ca34dec

Commits on Dec 3, 2018

• stack: update to build with 8.4.4

  

  Tuncer Ayaz

  authored
  242b40e

  Copy full SHA for 242b40e

Commits on Jun 22, 2018

• Updated to latest LTS Haskell snapshot.

  jfdm

  committed
  efb1569

  Copy full SHA for efb1569

Commits on May 30, 2018

• updated stack to latest LTS version (11.11)

  jfdm

  committed
  350189a

  Copy full SHA for 350189a

Commits on Apr 8, 2018

• Bump to LTS 11.3 and fingertree-0.1.4.1

  joom

  committed
  b8f34d1

  Copy full SHA for b8f34d1

Commits on Feb 8, 2018

• Bump Idris to compile against LTS 10.4.

  jfdm

  committed
  575cc50

  Copy full SHA for 575cc50

Commits on Dec 20, 2017

• Bumped Idris to work with LTS Haskell 10.

  jfdm

  committed
  cd7e553

  Copy full SHA for cd7e553

Commits on Dec 7, 2017

• Make sure a point release of idris builds with LTS Haskell.

  jfdm

  committed
  aa63280

  Copy full SHA for aa63280

Commits on Nov 27, 2017

• Move the stackage resolver one month forward

  asandroq

  committed
  5bb7180

  Copy full SHA for 5bb7180

Commits on Oct 23, 2017

• Make Idris build with Stack nightly

  asandroq

  committed
  c37eddd

  Copy full SHA for c37eddd

Commits on Sep 16, 2017

• Clean up unused imports (idris-lang#4065)

  

  eraserhd

  authored and

  Ahmad Salim Al-Sibahi

  committed
  d4bd8e6

  Copy full SHA for d4bd8e6

Commits on Aug 4, 2017

• change extra-deps for idris 1.1.0 lts-9.0 resolver

  Show description for 0e118dd
  MarcelineVQ

  committed
  0e118dd

  Copy full SHA for 0e118dd

Commits on Jul 27, 2017

• Bump Idris to compile using LTS Haskell 9.0.

  jfdm

  committed
  253c5c8

  Copy full SHA for 253c5c8

Commits on Jun 22, 2017

• Updated stack configuration to use LTS-8.18.

  jfdm

  committed
  00dfe3e

  Copy full SHA for 00dfe3e

Commits on Mar 27, 2017

• Updated to latest LTS Haskell

  jfdm

  committed
  a11b187

  Copy full SHA for a11b187

Commits on Mar 10, 2017

• Idris builds against LTS Haskell 8.04.

  jfdm

  committed
  ffc5cfa

  Copy full SHA for ffc5cfa

Commits on Mar 7, 2017

• Bumped stack version.

  jfdm

  committed
  284533b

  Copy full SHA for 284533b

Commits on Dec 21, 2016

• Bump to latest LTS Haskell 7.14.

  

  Jan de Muijnck-Hughes

  committed
  2e080f9

  Copy full SHA for 2e080f9

Commits on Nov 23, 2016

• Updated Stack Resolver to LTS 7.10.

  Show description for 7d2adee
  

  Jan de Muijnck-Hughes

  committed
  7d2adee

  Copy full SHA for 7d2adee

Commits on Sep 15, 2016

• Pushed Stack configuration to latest LTS Haskell Major.

  

  Jan de Muijnck-Hughes

  committed
  397f5b8

  Copy full SHA for 397f5b8

Commits on Sep 13, 2016

• Bump Idris' stack settings to use LTS Haskell 6.17.

  

  Jan de Muijnck-Hughes

  committed
  d4a1920

  Copy full SHA for d4a1920

Commits on Jul 28, 2016

• Bumped Idris to LTS 6.9.

  

  Jan de Muijnck-Hughes

  committed
  0c8a486

  Copy full SHA for 0c8a486

Commits on Jul 3, 2016

• Build with GHC8 and trifecta-1.6

  KaneTW

  committed
  a09a1bf

  Copy full SHA for a09a1bf

Commits on Jun 21, 2016

• Bumped Stack resolver to LTS 6.4.

  

  Jan de Muijnck-Hughes

  committed
  e976b02

  Copy full SHA for e976b02

Commits on Apr 6, 2016

• Bumped stack to latest version 5.11

  

  Jan de Muijnck-Hughes

  committed
  1435096

  Copy full SHA for 1435096

Commits on Mar 24, 2016

• Bumped idris to work with latest LTS Haskell release 5.9.

  

  Jan de Muijnck-Hughes

  committed
  7f5d2e4

  Copy full SHA for 7f5d2e4

Commits on Mar 8, 2016

• Added missing libFFI dependency for Stack.

  

  Jan de Muijnck-Hughes

  committed
  2a7f9a4

  Copy full SHA for 2a7f9a4

Commits on Mar 5, 2016

• Updated the stack configuration to LTS Haskell 5.5

  

  Jan de Muijnck-Hughes

  committed
  372d2ea

  Copy full SHA for 372d2ea

Commits on Mar 4, 2016

• Update stack.yaml: curses flag was removed

  enolan

  committed
  2987cbb

  Copy full SHA for 2987cbb

Commits on Mar 3, 2016

• Remove curses dependency

  melted

  committed
  b64f0fd

  Copy full SHA for b64f0fd

Commits on Feb 1, 2016

• Fix stack --nix on OS X

  projedi

  committed
  9de23d5

  Copy full SHA for 9de23d5

Commits on Jan 24, 2016

• Bump up the stack resolver version

  DmitryTsygankov

  committed
  60e11f7

  Copy full SHA for 60e11f7

• Stack: Add the Nix package dependencies

  DmitryTsygankov

  committed
  796f3dc

  Copy full SHA for 796f3dc

Pagination

Previous

Next