Peter Simons
18f49692ec
haskell-wreq: fix reference to attoparsec
2014-05-04 22:25:56 +02:00
Peter Simons
a306b28baa
haskell-defaults: prefer cabal-install 1.20.x on ghc-head
2014-05-04 21:19:11 +02:00
Peter Simons
a9258080b1
R: don't install the "recommended packages"
...
These packages come with R, but if we install them as part of this build, then
we cannot update them without re-building R as well. Instead, we add those
packages to the R environment through the r-wrapper. This means that
recommended packages can be updated in cran-packgaes.nix, and those updates
have an effect on the installation without re-building R itself.
2014-05-04 21:12:34 +02:00
Peter Simons
a329900977
Move r-packages.nix into the r-modules directory.
2014-05-04 21:09:38 +02:00
Peter Simons
834679ddab
all-packages.nix: move all R-related attributes into one place
2014-05-04 20:51:36 +02:00
Peter Simons
0d264c1761
r-packages.nix: add an auto-generated list of all CRAN packages
2014-05-04 20:51:36 +02:00
Peter Simons
35d2c4b741
r-packages.nix: added various new libraries
2014-05-04 15:33:15 +02:00
Peter Simons
7c6a730e0b
R: added wrapper script that provides "R" and "Rscript" binaries that know about extra libraries
...
Configure an override in ~/.nixpkgs/config.nix as follows:
{
packageOverrides = pkgs: {
rWrapper = pkgs.rWrapper.override {
packages = with pkgs.rPackages; [ Defaults dataTable foreach xtable ];
};
};
}
2014-05-04 15:33:15 +02:00
Peter Simons
adce4233af
all-packages.nix: strip trailing whitespace
2014-05-04 15:33:15 +02:00
Peter Simons
911d9d5b1b
Merge pull request #2489 from jwiegley/haskexprs
...
Add several new Haskell expressions
2014-05-04 13:22:13 +02:00
Peter Simons
ce21d883c0
haskell-vinyl: add version 0.3
2014-05-04 13:19:56 +02:00
Peter Simons
c2fd001fd4
Remove obsolete Agda-executable package; the compiler is not part of 'Agda'.
2014-05-04 12:17:35 +02:00
John Wiegley
9bc6893712
Add several new Haskell expressions
2014-05-03 23:01:00 -05:00
Bjørn Forsman
70b39119c3
qwt: add version 6.x (we already have 5.x)
...
'qgis', one of the few 'qwt' dependees in nixpkgs, fails to build with
qwt 6. So I'm not moving the default version away from 5.x. Also, not
changing the default allows easy/safe cherry-picking to the stable
branch.
2014-05-04 00:11:26 +02:00
Vladimír Čunát
d96f262166
json-c: update to 0.12, fixing CVE-2013-{6370,6371}
2014-05-03 21:30:48 +02:00
Peter Simons
4b307a7b96
haskell-network: update to version 2.5.0.0
2014-05-03 20:03:33 +02:00
Peter Simons
dd1dd06b88
haskell-text: update to version 1.1.1.1
2014-05-03 20:03:32 +02:00
Peter Simons
c1705e8b33
haskell-fgl: add version 5.5.0.1
2014-05-03 20:03:32 +02:00
Peter Simons
eb7958247a
haskell-unordered-containers: update to version 0.2.4.0
2014-05-03 20:03:32 +02:00
Peter Simons
074c128fec
haskell-attoparsec: update to version 0.11.3.0
2014-05-03 20:03:32 +02:00
Peter Simons
eca445a408
Bootstrap ghc-head with GHC 7.6.3 to see if that solves our weird compiler errors:
...
compiler/simplCore/CoreMonad.lhs:835:10:
Non type-variable argument in the constraint: MonadPlus IO
(Use -XFlexibleContexts to permit this)
In the context: (MonadPlus IO)
While checking an instance declaration
In the instance declaration for `A.Alternative CoreM'
compiler/simplCore/CoreMonad.lhs:841:10:
Non type-variable argument in the constraint: MonadPlus IO
(Use -XFlexibleContexts to permit this)
In the context: (MonadPlus IO)
While checking an instance declaration
In the instance declaration for `MonadPlus CoreM'
2014-05-03 20:03:30 +02:00
Vladimir Kirillov
599f9a09fe
haskell: bump ekg to 0.4, add ekg-core
2014-05-03 17:36:03 +03:00
Peter Simons
64d662e056
Agda: move compiler and standard library into a common directory
...
Also renamed AgdaStdLib attribute to AgdaStdlib, since upstream doesn't
seem to capitalize that name.
2014-05-03 12:37:17 +02:00
Peter Simons
801a4818c8
Merge pull request #2474 from jwiegley/agda-stdlib
...
Add expression for the Agda standard library
2014-05-03 12:33:26 +02:00
Mateusz Kowalczyk
ab7e2f1dc5
haskell-HTTP: update to version 4000.2.13
2014-05-03 12:27:25 +02:00
Oliver Charles
4e70c764f5
Merge pull request #2473 from jwiegley/these
...
Add expression for Haskell library 'these'
2014-05-03 11:19:18 +01:00
John Wiegley
7d788d5e4f
Add expression for the Agda standard library
2014-05-02 19:15:38 -05:00
John Wiegley
fb778b705f
Add expression for Haskell library 'these'
2014-05-02 13:43:34 -05:00
Michael Raskin
feddcfaf1e
Readding Erlang R16B02: R17 is a major update and it breaks Ejabberd.
2014-05-02 20:50:58 +04:00
Austin Seipp
b10f4af8f9
nginx: upgrade to 1.6.0, expose many more modules
...
By default, we now build all the optional nginx modules, including the
out-of-band ones like moreheaders and rtmp support.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 01:24:38 -05:00
Austin Seipp
f21d619558
nixpkgs: move frama-c to a more appropriate directory
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:14:08 -05:00
Austin Seipp
0c51a4ac98
nixpkgs: add CompCert
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:11:46 -05:00
Peter Simons
e81ac36bff
haskell-spoon: add version 0.3.1
2014-05-01 21:57:02 +02:00
Peter Simons
39c3cb1d99
haskell-groom: add version 0.1.2
2014-05-01 21:57:02 +02:00
Emery Hemingway
3b1a171c05
qtbitcointrader: initial expression
2014-05-01 15:50:57 +02:00
Benno Fünfstück
8310c6a403
haskell-cabal-bounds: use versionOlder
...
for some reason, versionAtLeast doesn't work
2014-05-01 15:02:50 +02:00
Peter Simons
979520396e
Merge pull request #2311 from bennofs/haskell-cabal-bounds
...
haskell-cabal-bounds: New expression
2014-05-01 14:53:10 +02:00
Benno Fünfstück
e914f15728
haskell-cabal-bounds: avoid rebuild of Cabal
2014-05-01 14:51:06 +02:00
Peter Simons
d4ceed5f2a
haskell-hspec: the limitation on QuickCheck 2.7 has been lifted recently
2014-05-01 14:37:09 +02:00
Tom Dimiduk
c4f66df29a
add zeromq4 and zeromq4-haskell
2014-05-01 07:52:21 -04:00
Peter Simons
0293dc9fbd
Merge pull request #2357 from Chaddai/texstudio
...
Texstudio : advanced editor for LaTeX
2014-05-01 13:06:06 +02:00
Oliver Charles
038645ad97
Merge pull request #2457 from jwiegley/posix-paths
...
Add expression for the Haskell posix-paths library
2014-05-01 11:41:39 +01:00
Austin Seipp
6d52463bd3
nixpkgs: add alt-ergo 0.95.2
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:42:31 -05:00
Austin Seipp
4ee4f76176
nixpkgs: add why3 0.83
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:39 -05:00
Austin Seipp
d1a32414cd
nixpkgs: add ltl2ba 1.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:34 -05:00
Austin Seipp
02351691ba
ocaml-packages: add zarith 1.2.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:28 -05:00
Moritz Ulrich
397682be6b
Bump pass(word-store) to 1.6.1.
...
...and also simplify the expression massively.
2014-04-30 23:52:55 +02:00
John Wiegley
3988f438ef
Add expression for the Haskell posix-paths library
2014-04-30 17:19:34 -04:00
Austin Seipp
3c3256e4a8
nixpkgs: clang-analyzer 3.4
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 19:36:43 -05:00
Austin Seipp
d9d76f1a3a
cryptol: add 1.8.x expression
...
This also includes support for the verification tools I'm using. Cryptol
2 is still the default obviously.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 17:50:55 -05:00