Commit Graph

11893 Commits

Author SHA1 Message Date
Jason "Don" O'Conal
58ade1d1db sup: update to 0.18.0 2014-06-02 08:33:29 +10:00
Peter Simons
66bcd77f0e R: simplify the generic builder 2014-05-04 23:54:11 +02:00
Peter Simons
401f4a28c1 cryptol: fix reference to text library 2014-05-04 23:21:39 +02:00
Benno Fünfstück
d385835c38 haskell-profiteur: new expression 2014-05-04 23:02:46 +02:00
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