cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
61494 commits 1 branch 0 tags 3.7 GiB
Commit graph

53 commits

Author SHA1 Message Date
John Wiegley
28b6fb61e6 Change occurrences of gcc to the more general cc 
This is done for the sake of Yosemite, which does not have gcc, and yet
this change is also compatible with Linux.
 2014-12-26 11:06:21 -06:00
Peter Simons
f12ef69336 idris: jailbreak to fix build with recent version of 'lens' 2014-11-01 21:08:06 +01:00
Maciek Starzyk
6296d967fd haskell-idris: update to version 0.9.15.1 2014-10-29 21:03:08 +01:00
Peter Simons
12fd14c453 haskell-idris: update to version 0.9.15 2014-10-28 00:41:25 +01:00
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