JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
51,311 Commits 2 Branches 0 Tags 12 GiB
9e61b64c31
Commit Graph

49 Commits

Author SHA1 Message Date
Peter Simons
8d013b7561 idris: re-generate expression with cabal2nix 2014-10-19 11:57:04 +02:00
Aycan iRiCAN
ae84167aa1 Upgrade idris compiler to 0.9.14.3 2014-10-15 10:57:08 +03:00
Maksymilian Owsianny
a7197741ac Fixed idris wrapper to make idris work with different backends. 
Closes #4314
 2014-09-29 04:14:59 +01:00
Maksymilian Owsianny
4984b30c18 Fixed idris. 2014-09-24 19:50:08 +02:00
Peter Simons
686ea115a9 idris: broken by recent Haskell updates 
http://hydra.cryp.to/build/190927/nixlog/1/raw
 2014-09-14 00:06:43 +02:00
Peter Simons
3f2c6833ac idris: remove unnecessary jailbreak 2014-09-14 00:06:42 +02:00
Peter Simons
0a6ad14395 haskell-idris: update to version 0.9.14.3 2014-09-04 14:41:09 +02:00
Peter Simons
c04507ea3e haskell-idris: update to version 0.9.14.2 2014-08-31 18:17:00 +02:00
Peter Simons
c9dc75d315 idris: re-generate with cabal2nix 2014-07-31 13:57:45 +02:00
John Wiegley
7d90959d73 idris: 0.9.14 -> 0.9.14.1 2014-07-30 18:11:18 -05:00
John Wiegley
5c6512434a idris: patch 0.9.14 to workaround a bug 2014-07-24 15:48:07 -05:00
Peter Simons
cdf9a972ad haskell-idris: update to version 0.9.14 2014-07-18 17:30:47 +02:00
Peter Simons
d2e731e111 Add "please don't edit" comment at the top of every auto-generated Haskell file. 2014-07-14 13:21:41 +02:00
Mathijs Kwik
8d708ba35a idris: provide boehmgc to compile with llvm backend 2014-06-16 22:43:51 +02:00
Peter Simons
e9bbb1ede9 haskell-idris: update to version 0.9.13.1 2014-06-13 15:41:22 +02:00
Peter Simons
b5e87f63f9 haskell-idris: update to version 0.9.13 2014-06-09 10:26:57 +02:00
Mathijs Kwik
7f6a2f81b9 idris: upgrade to 0.9.12 2014-04-06 11:47:46 +02:00
Peter Simons
57e4d68025 haskell-idris: update to version 0.9.11.2 2014-02-13 10:57:43 +01:00
Peter Simons
96756095b7 haskell-idris: update to version 0.9.11.1 2014-02-10 20:54:53 +01:00
Peter Simons
666cfebff1 idris: re-generate with cabal2nix 2014-01-27 11:49:20 +01:00
Shea Levy
3901d21c80 Idris: Build with llvm backend and libffi support 
Signed-off-by: Shea Levy <shea@shealevy.com>
 2014-01-26 13:54:11 -05:00
Peter Simons
a7bd862f0b haskell-idris: update to version 0.9.10.1 2013-12-03 22:23:21 +01:00
Peter Simons
1d191dd56f haskell-idris: update to version 0.9.10 2013-12-02 16:25:34 +01:00
Peter Simons
b258b45a4f haskell-idris: update to version 0.9.9.3 2013-10-18 12:52:27 +02:00
Peter Simons
a71c1ca748 haskell-idris: update to version 0.9.9.2 2013-09-25 18:25:00 +02:00
Peter Simons
900a35738c haskell-idris: update to version 0.9.9.1 2013-09-22 13:25:08 +02:00
Peter Simons
da6b1e6d81 idris: re-generate with cabal2nix 2013-09-11 20:45:18 +02:00
Mathijs Kwik
114b961b8c idris: upgrade to 0.9.9 2013-08-02 11:47:38 +02:00
Mathijs Kwik
35d3e38d54 add idris wrapper 2013-06-05 23:36:20 +02:00
Mathijs Kwik
187670c7da add haskell/idris 2013-06-05 12:17:35 +02:00
Peter Simons
cd470bc296 idris: drop obsolete package, it doesn't compile anywhere 2013-04-24 13:21:05 +02:00
Peter Simons
6fc2cccfe6 Add myself as a maintainer to all Haskell packages (re-)generated by hackage4nix. 2013-03-23 15:58:14 +01:00
Peter Simons
807cd9ff16 haskell-idris: update to version 0.9.7 2013-03-11 11:26:14 +01:00
Peter Simons
598c958a7d haskell-idris: update to version 0.9.6.1 2013-02-20 11:58:01 +01:00
Peter Simons
c941ab98a7 haskell-idris: update to version 0.9.6 2013-01-25 14:52:03 +01:00
Peter Simons
9d4aa6a6be haskell-idris: update to version 0.9.5.1 2012-11-01 10:09:22 +01:00
Peter Simons
0f54bd6130 haskell-idris: update to version 0.9.4.1 2012-10-08 11:25:23 +02:00
Peter Simons
0de6725105 haskell-idris: update to version 0.9.3.1 2012-09-21 16:36:24 +02:00
Peter Simons
8363515431 haskell-idris: update to version 0.9.3 2012-09-17 16:17:55 +02:00
Peter Simons
a39f417ad7 Updated Haskell packages. 
- RSA: updated to version 1.0.6.3
 - derive: updated to version 2.5.7
 - hakyll: updated to version 3.2.7.0
 - happstack-hamlet: updated to version 7.0.0
 - idris: updated to version 0.9.2.1

svn path=/nixpkgs/trunk/; revision=33479
 2012-03-29 20:52:37 +00:00
Peter Simons
880dcc2c64 Removed myself as a maintainer from Haskell packages that I don't personally use. 
By now, it happened twice that a commit broke GHC and thus all Haskell packages
we have in Nixpkgs. On such an occasion, I receive well in excess of 3000
notification e-mails from Hydra, and then I receive another 3000 e-mails after
the bug has been fixed. Under these circumstances, subscribing to these
notifications makes no sense for me.

svn path=/nixpkgs/trunk/; revision=33392
 2012-03-24 10:21:28 +00:00
Peter Simons
409e44cbe1 haskell-idris: updated to version 0.9.2 
svn path=/nixpkgs/trunk/; revision=32671
 2012-02-28 10:03:45 +00:00
Peter Simons
ac69747aa8 Regenerated all Haskell packages with the latest version of cabal2nix. 
svn path=/nixpkgs/trunk/; revision=32292
 2012-02-14 17:00:37 +00:00
Peter Simons
ade99756f9 haskell-idris: updated to version 0.9.1 
svn path=/nixpkgs/trunk/; revision=31996
 2012-02-03 19:06:12 +00:00
Peter Simons
09dee8994f haskell-idris: updated to version 0.9.0 
svn path=/nixpkgs/trunk/; revision=31622
 2012-01-18 15:04:09 +00:00
Peter Simons
c8ae7cc8bb Updated build expressions for the current version of cabal.nix. 
svn path=/nixpkgs/trunk/; revision=28772
 2011-08-23 10:35:49 +00:00
Peter Simons
d86fb89aa6 haskell-idris: updated to version 0.1.7.1 
svn path=/nixpkgs/trunk/; revision=28555
 2011-08-13 23:38:48 +00:00
Andres Löh
9d5f981913 Updated the Idris compiler. 
svn path=/nixpkgs/trunk/; revision=23991
 2010-09-29 19:24:29 +00:00
Andres Löh
677f91a6d1 Added Idris and updated fetchdarcs. 
svn path=/nixpkgs/trunk/; revision=15595
 2009-05-13 19:02:23 +00:00