Snapshots containing idris

Back to idris

Package version	Snapshot
1.3.3	LTS Haskell 16.31 (ghc-8.8.4)
1.3.3	LTS Haskell 16.30 (ghc-8.8.4)
1.3.3	LTS Haskell 16.29 (ghc-8.8.4)
1.3.3	LTS Haskell 16.28 (ghc-8.8.4)
1.3.3	LTS Haskell 16.27 (ghc-8.8.4)
1.3.3	LTS Haskell 16.26 (ghc-8.8.4)
1.3.3	LTS Haskell 16.25 (ghc-8.8.4)
1.3.1	LTS Haskell 12.26 (ghc-8.4.4)
1.3.0	LTS Haskell 11.22 (ghc-8.2.2)
1.3.0	LTS Haskell 11.21 (ghc-8.2.2)
1.3.0	LTS Haskell 11.20 (ghc-8.2.2)
1.3.0	LTS Haskell 11.19 (ghc-8.2.2)
1.3.0	LTS Haskell 11.18 (ghc-8.2.2)
1.3.0	LTS Haskell 11.17 (ghc-8.2.2)
1.2.0	LTS Haskell 10.10 (ghc-8.2.2)
1.2.0	LTS Haskell 10.9 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-03-10 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-03-07 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-03-06 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-03-05 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-03-04 (ghc-8.2.2)
1.2.0	LTS Haskell 10.8 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-03-01 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-28 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-27 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-26 (ghc-8.2.2)
1.2.0	LTS Haskell 10.7 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-24 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-23 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-22 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-21 (ghc-8.2.2)
1.2.0	LTS Haskell 10.6 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-20 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-18 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-17 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-16 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-11 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-10 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-09 (ghc-8.2.2)
1.2.0	LTS Haskell 10.5 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-08 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-02-07 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-01-29 (ghc-8.2.2)
1.2.0	LTS Haskell 10.4 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-01-27 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-01-26 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-01-25 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-01-24 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-01-21 (ghc-8.2.2)
1.2.0	Stackage Nightly 2018-01-18 (ghc-8.2.2)