summary refs log tree commit diff
path: root/pkgs/development/compilers/idris
Commit message (Expand)AuthorAge
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-20 16:23:45 +0000