mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
Code Issues Wiki Activity
50789 commits 204 branches 125 tags 10 GiB
Commit graph

47 commits

Author SHA1 Message Date
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