about summary refs log tree commit diff
path: root/pkgs/development/compilers/idris
Commit message (Expand)AuthorAge
* idris: re-generate expression with cabal2nixPeter Simons2014-10-19
* Upgrade idris compiler to 0.9.14.3Aycan iRiCAN2014-10-15
* Fixed idris wrapper to make idris work with different backends.Maksymilian Owsianny2014-09-29
* Fixed idris.Maksymilian Owsianny2014-09-24
* idris: broken by recent Haskell updatesPeter Simons2014-09-14
* idris: remove unnecessary jailbreakPeter Simons2014-09-14
* haskell-idris: update to version 0.9.14.3Peter Simons2014-09-04
* haskell-idris: update to version 0.9.14.2Peter Simons2014-08-31
* idris: re-generate with cabal2nixPeter Simons2014-07-31
* idris: 0.9.14 -> 0.9.14.1John Wiegley2014-07-30
* idris: patch 0.9.14 to workaround a bugJohn Wiegley2014-07-24
* haskell-idris: update to version 0.9.14Peter Simons2014-07-18
* Add "please don't edit" comment at the top of every auto-generated Haskell file.Peter Simons2014-07-14
* idris: provide boehmgc to compile with llvm backendMathijs Kwik2014-06-16
* haskell-idris: update to version 0.9.13.1Peter Simons2014-06-13
* haskell-idris: update to version 0.9.13Peter Simons2014-06-09
* idris: upgrade to 0.9.12Mathijs Kwik2014-04-06
* haskell-idris: update to version 0.9.11.2Peter Simons2014-02-13
* haskell-idris: update to version 0.9.11.1Peter Simons2014-02-10
* idris: re-generate with cabal2nixPeter Simons2014-01-27
* Idris: Build with llvm backend and libffi supportShea Levy2014-01-26
* haskell-idris: update to version 0.9.10.1Peter Simons2013-12-03
* haskell-idris: update to version 0.9.10Peter Simons2013-12-02
* haskell-idris: update to version 0.9.9.3Peter Simons2013-10-18
* haskell-idris: update to version 0.9.9.2Peter Simons2013-09-25
* haskell-idris: update to version 0.9.9.1Peter Simons2013-09-22
* idris: re-generate with cabal2nixPeter Simons2013-09-11
* idris: upgrade to 0.9.9Mathijs Kwik2013-08-02
* add idris wrapperMathijs Kwik2013-06-05
* add haskell/idrisMathijs Kwik2013-06-05
* idris: drop obsolete package, it doesn't compile anywherePeter Simons2013-04-24
* Add myself as a maintainer to all Haskell packages (re-)generated by hackage4...Peter Simons2013-03-23
* haskell-idris: update to version 0.9.7Peter Simons2013-03-11
* haskell-idris: update to version 0.9.6.1Peter Simons2013-02-20
* haskell-idris: update to version 0.9.6Peter Simons2013-01-25
* haskell-idris: update to version 0.9.5.1Peter Simons2012-11-01
* haskell-idris: update to version 0.9.4.1Peter Simons2012-10-08
* haskell-idris: update to version 0.9.3.1Peter Simons2012-09-21
* haskell-idris: update to version 0.9.3Peter Simons2012-09-17
* Updated Haskell packages.Peter Simons2012-03-29
* Removed myself as a maintainer from Haskell packages that I don't personally ...Peter Simons2012-03-24
* haskell-idris: updated to version 0.9.2Peter Simons2012-02-28
* Regenerated all Haskell packages with the latest version of cabal2nix.Peter Simons2012-02-14
* haskell-idris: updated to version 0.9.1Peter Simons2012-02-03
* haskell-idris: updated to version 0.9.0Peter Simons2012-01-18
* Updated build expressions for the current version of cabal.nix.Peter Simons2011-08-23
* haskell-idris: updated to version 0.1.7.1Peter Simons2011-08-13
* Updated the Idris compiler.Andres Löh2010-09-29
* Added Idris and updated fetchdarcs.Andres Löh2009-05-13