Commit graph

36242 commits

Author SHA1 Message Date
Austin Seipp e590c0a867 ats/ats2: clean-up, adopt, add Hydra packages
This also bumps ATS2 to version 0.0.7

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 11:26:16 -05:00
Austin Seipp 92f7781f00 kernel/grsecurity: stable/longterm/testing updates
kernels:

  - longterm: 3.4.87  -> 3.4.88
  - longterm: 3.10.37 -> 3.10.38
  - stable:   3.13.10 -> 3.13.11
  - stable:   3.14.1  -> 3.14.2

grsecurity:

  - test: 3.0-3.14.1-201404241722 -> 3.0-3.14.2-201404270907

NOTE: technically the 3.13 stable kernel is now EOL. However, it will
become the long-term grsecurity stable kernel, and will have ongoing
support from Canonical.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 08:41:42 -05:00
Domen Kožar 67b0c3e1a6 pythonPackages.chameleon: 2.11 -> 2.15 2014-04-27 12:21:11 +02:00
Mateusz Kowalczyk 9a77b8e64f tibia: version 10.38
Closes #2396
2014-04-26 12:58:25 -05:00
Austin Seipp 9ef104cbad cryptol-mode: 0.1.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-26 12:51:08 -05:00
Peter Simons 75da9d640e Merge pull request #2374 from klao/tz
Add tzdata and tz Haskell packages
2014-04-26 16:06:55 +02:00
Peter Simons 06f59807e6 qfsm: update meta.platforms settings for the new logic 2014-04-26 15:54:52 +02:00
Peter Simons 34a1db9202 tkgate: update meta.platforms settings for the new logic 2014-04-26 15:54:40 +02:00
Peter Simons 3c08cdce48 gtk-gnutella: mark as "broken"
The current version doesn't compile with the latest GCC any more.
2014-04-26 15:54:18 +02:00
Domen Kožar 083a407d04 pythonPackages.pyramid: 1.4.5 -> 1.5 2014-04-26 12:16:14 +02:00
Oliver Charles e89d37b4c4 Merge pull request #2393 from linquize/cpuminer
cpuminer: Upgrade to 2.3.3
2014-04-26 10:00:50 +01:00
Oliver Charles 136b454e48 Merge pull request #2395 from cstrahan/pycapnp
pycapnp: Add package
2014-04-26 10:00:12 +01:00
Oliver Charles f6e8b77294 Merge pull request #2399 from ttuegel/hmatrix-special
Add haskell-hmatrix-special-0.2.0
2014-04-26 09:58:37 +01:00
Oliver Charles b50c525e69 Merge pull request #2409 from fmap/haskell-bv
Derivation for the Haskell library, "bv".
2014-04-26 09:56:20 +01:00
Domen Kožar 954c1123ad Merge pull request #2403 from linquize/chatzilla
chatzilla: Use latest firefox's xulrunner
2014-04-26 10:28:22 +02:00
vi 74efbde57c Derivation for the Haskell library, "bv". 2014-04-26 16:17:04 +08:00
cillianderoiste d733b49385 Merge pull request #2401 from linquize/lvtk
lvtk: Upgrade to 1.2.0
2014-04-26 09:49:40 +02:00
Austin Seipp 4e15dbe34c btsync: 1.3.87 -> 1.3.93
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-26 00:13:36 -05:00
宋文武 0b99e20a3c love: update 0.9.0 -> 0.9.1
Changelog:
  https://www.love2d.org/wiki/0.9.1
2014-04-26 00:03:34 -05:00
Linquize 20c395d8aa chatzilla: Use latest firefox's xulrunner 2014-04-26 02:04:18 +02:00
Linquize e6359b4048 lvtk: Upgrade to 1.2.0 and switch to github tarball 2014-04-26 01:21:08 +02:00
Thomas Tuegel 7c274bf958 Add haskell-hmatrix-special-0.2.0 2014-04-25 17:17:47 -05:00
Charles Strahan 5ebb896d5b pycapnp: Add package 2014-04-25 14:34:13 -04:00
Linquize ae1189379e cpuminer: Upgrade to 2.3.3 2014-04-25 18:21:58 +02:00
Austin Seipp e146a02d14 nixpkgs: Add cryptol2 expression
This is just a convenient shorthand so people don't have to spell out
haskellPackages.cryptol

Note that the top-level expression is named 'cryptol2' but the package
isn't. That's because Cryptol is a library and other things could depend
on it (hence the vanilla name), but also the full name will be
disambiguated as 'haskell-cryptol-ghc7.6.3' anyway.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-25 11:07:18 -05:00
Oliver Charles 282a662a32 Merge pull request #2392 from cstrahan/capnproto
capnproto: Add package
2014-04-25 17:06:20 +01:00
Charles Strahan 604a4b680c capnproto: Add package 2014-04-25 11:18:18 -04:00
Mihaly Barasz 8bb3f19c6b Add tz Haskell package 2014-04-25 16:21:50 +02:00
Mihaly Barasz 2d37f8ecf0 Add tzdata Haskell package 2014-04-25 16:21:50 +02:00
mornfall abe9fb340e Merge pull request #2390 from ertes/ertes-haskell-jack
haskell: Added enumset and jack.
2014-04-25 14:28:13 +02:00
Shea Levy e85b164df8 Add php 5.3 variant with fpm support 2014-04-25 08:19:45 -04:00
Ertugrul Söylemez a3a2222fec haskell: Added enumset 0.0.4 and jack 0.7.0.2. 2014-04-25 14:03:57 +02:00
Oliver Charles 5de0ca50d7 Merge pull request #2389 from bennofs/haskell-ghc-gc-tune
haskell-ghc-gc-tune: new expression
2014-04-25 12:12:57 +01:00
Austin Seipp 5401849e3a cryptol v2.0.0
This comes with several extra libraries, including GraphSCC, monadLib,
presburger, process and smtLib, all required as build dependencies. But
otherwise totally automated via cabal2nix.

Next up is CVC4 (a total pain in the ass to package) for proving/SAT
support.

I have another WIP branch for the unfree 1.x series which I may (or may
not) add later as it has external verification tech at the moment.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-25 05:42:00 -05:00
Benno Fünfstück 027319708e haskell-ghc-gc-tune: new expression 2014-04-25 12:33:07 +02:00
aszlig 33eced411f
python-django: Update to 1.4.11, 1.5.6 and 1.6.3.
This fixes CVE-2014-0472, details can be found at:

http://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2014-0472
https://www.djangoproject.com/weblog/2014/apr/21/security/

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
(cherry picked from commit 4a0c468043f9c143d784c9d19b6e2a2c395648fb)
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-04-25 12:30:23 +02:00
Oliver Charles cb82334421 Merge pull request #2336 from jwiegley/cabal
Add expression for cabal-install 1.20.0.0
2014-04-25 10:55:12 +01:00
Rob Vermaas 477b9a9bbb Merge pull request #2363 from wizeman/u/nethogs
nethogs: Add package
2014-04-25 11:34:22 +02:00
Oliver Charles 954bc3131e haskellPackages.wreq: New expression 2014-04-25 10:33:23 +01:00
Oliver Charles 2fde59d20f Merge pull request #2356 from hrdinka/haskell-msgpack
haskell-msgpack: add version 0.7.2.5
2014-04-25 10:31:45 +01:00
Oliver Charles f7de4f099f Merge pull request #2347 from vbmithr/ocaml-pcre
Updated OCaml package pcre
2014-04-25 10:31:18 +01:00
Oliver Charles 61d74e4c8c Merge pull request #2345 from vbmithr/master
Updated OCaml package findlib
2014-04-25 10:31:04 +01:00
Oliver Charles d6a3bb64d2 Merge pull request #2361 from vbmithr/ocaml_react
Updated react to 1.0.1
2014-04-25 10:25:58 +01:00
Oliver Charles ba57ef9ff2 Merge pull request #2383 from jwiegley/texlive
Update texlive expressions with new tarball versions
2014-04-25 10:19:38 +01:00
Oliver Charles 4ccda3324f Merge pull request #2369 from fmap/master
New package: lists and its dependency, list-extras (Haskell.)
2014-04-25 10:18:57 +01:00
Eelco Dolstra 1bae93cb82 debian: Update to 6.0.9 2014-04-25 10:43:26 +02:00
Sander van der Burg 1e31184de6 Merge pull request #2382 from linquize/DisnixWebService
DisnixWebService: Fix broken build by exposing jdk as buildInputs
2014-04-25 10:30:14 +02:00
Sander van der Burg ff48fce0cf Merge pull request #2381 from linquize/axis2
axis2: Remove the extra slash in URL
2014-04-25 10:29:52 +02:00
Peter Simons 83df08830f qfsm: mark 'broken' because of build errors
Upstream seems to have abandoned the package.
2014-04-25 10:04:58 +02:00
Peter Simons 964f1e0e20 tkgate-2.x: mark 'broken' because the application segfaults after startup 2014-04-25 10:04:30 +02:00