index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
compilers
/
idris
Commit message (
Expand
)
Author
Age
*
idris: re-generate expression with cabal2nix
Peter Simons
2014-10-19
*
Upgrade idris compiler to 0.9.14.3
Aycan iRiCAN
2014-10-15
*
Fixed idris wrapper to make idris work with different backends.
Maksymilian Owsianny
2014-09-29
*
Fixed idris.
Maksymilian Owsianny
2014-09-24
*
idris: broken by recent Haskell updates
Peter Simons
2014-09-14
*
idris: remove unnecessary jailbreak
Peter Simons
2014-09-14
*
haskell-idris: update to version 0.9.14.3
Peter Simons
2014-09-04
*
haskell-idris: update to version 0.9.14.2
Peter Simons
2014-08-31
*
idris: re-generate with cabal2nix
Peter Simons
2014-07-31
*
idris: 0.9.14 -> 0.9.14.1
John Wiegley
2014-07-30
*
idris: patch 0.9.14 to workaround a bug
John Wiegley
2014-07-24
*
haskell-idris: update to version 0.9.14
Peter Simons
2014-07-18
*
Add "please don't edit" comment at the top of every auto-generated Haskell file.
Peter Simons
2014-07-14
*
idris: provide boehmgc to compile with llvm backend
Mathijs Kwik
2014-06-16
*
haskell-idris: update to version 0.9.13.1
Peter Simons
2014-06-13
*
haskell-idris: update to version 0.9.13
Peter Simons
2014-06-09
*
idris: upgrade to 0.9.12
Mathijs Kwik
2014-04-06
*
haskell-idris: update to version 0.9.11.2
Peter Simons
2014-02-13
*
haskell-idris: update to version 0.9.11.1
Peter Simons
2014-02-10
*
idris: re-generate with cabal2nix
Peter Simons
2014-01-27
*
Idris: Build with llvm backend and libffi support
Shea Levy
2014-01-26
*
haskell-idris: update to version 0.9.10.1
Peter Simons
2013-12-03
*
haskell-idris: update to version 0.9.10
Peter Simons
2013-12-02
*
haskell-idris: update to version 0.9.9.3
Peter Simons
2013-10-18
*
haskell-idris: update to version 0.9.9.2
Peter Simons
2013-09-25
*
haskell-idris: update to version 0.9.9.1
Peter Simons
2013-09-22
*
idris: re-generate with cabal2nix
Peter Simons
2013-09-11
*
idris: upgrade to 0.9.9
Mathijs Kwik
2013-08-02
*
add idris wrapper
Mathijs Kwik
2013-06-05
*
add haskell/idris
Mathijs Kwik
2013-06-05
*
idris: drop obsolete package, it doesn't compile anywhere
Peter Simons
2013-04-24
*
Add myself as a maintainer to all Haskell packages (re-)generated by hackage4...
Peter Simons
2013-03-23
*
haskell-idris: update to version 0.9.7
Peter Simons
2013-03-11
*
haskell-idris: update to version 0.9.6.1
Peter Simons
2013-02-20
*
haskell-idris: update to version 0.9.6
Peter Simons
2013-01-25
*
haskell-idris: update to version 0.9.5.1
Peter Simons
2012-11-01
*
haskell-idris: update to version 0.9.4.1
Peter Simons
2012-10-08
*
haskell-idris: update to version 0.9.3.1
Peter Simons
2012-09-21
*
haskell-idris: update to version 0.9.3
Peter Simons
2012-09-17
*
Updated Haskell packages.
Peter Simons
2012-03-29
*
Removed myself as a maintainer from Haskell packages that I don't personally ...
Peter Simons
2012-03-24
*
haskell-idris: updated to version 0.9.2
Peter Simons
2012-02-28
*
Regenerated all Haskell packages with the latest version of cabal2nix.
Peter Simons
2012-02-14
*
haskell-idris: updated to version 0.9.1
Peter Simons
2012-02-03
*
haskell-idris: updated to version 0.9.0
Peter Simons
2012-01-18
*
Updated build expressions for the current version of cabal.nix.
Peter Simons
2011-08-23
*
haskell-idris: updated to version 0.1.7.1
Peter Simons
2011-08-13
*
Updated the Idris compiler.
Andres Löh
2010-09-29
*
Added Idris and updated fetchdarcs.
Andres Löh
2009-05-13