3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

43063 commits

Author SHA1 Message Date
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
Eelco Dolstra 37e6e08cde switch-to-configuration: Use systemctl's --no-legend flag 2014-04-25 17:42:09 +02:00
Eelco Dolstra 7ddcd7b6b6 Give the KDE test more memory 2014-04-25 17:27:05 +02:00
Charles Strahan 604a4b680c capnproto: Add package 2014-04-25 11:18:18 -04:00
Eelco Dolstra 537c034e8f Make some tests release-critical 2014-04-25 17:08:58 +02:00
Eelco Dolstra fec3b75e4b Fix ‘nixos-container run’
By default, socat only waits 0.5s for the remote side to finish after
getting EOF on the local side. So don't close the local side, instead
wait for socat to exit when the remote side finishes.

http://hydra.nixos.org/build/10663282
2014-04-25 17:04:51 +02: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
Austin Seipp b470c93c1e nixos: only enable spipe when user specifies
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 4a0c468043)
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-04-25 12:30:23 +02:00
Benno Fünfstück a2de61e2b6 jdk7: update patchversion 51 -> 55. 2014-04-25 12:29:25 +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
John Wiegley 369c227973 Update texlive expressions with new tarball versions
This is needed because the older tarballs are no longer available for
download.
2014-04-25 00:44:05 -05:00
Ricardo M. Correia efae8ce543 grsecurity: Update all patches
stable:  3.0-3.2.57-201404182109            -> 3.0-3.2.57-201404241714
test:    3.0-3.14.1-201404201132            -> 3.0-3.14.1-201404241722
vserver: 3.0-3.2.57-vs2.3.2.16-201404182110 -> 3.0-3.2.57-vs2.3.2.16-201404241715
2014-04-25 04:41:58 +02:00
Linquize 9cacabd5bb DisnixWebService: Fix broken build by exposing jdk as buildInputs 2014-04-25 07:44:48 +08:00
Linquize 7d5a5354d8 axis2: Remove the extra slash in URL 2014-04-25 07:32:23 +08:00
Eelco Dolstra c52fb449f4 Urgh
Can't figure out why "hostname -s" keeps failing randomly :-(

http://hydra.nixos.org/build/10662142
2014-04-25 00:30:33 +02:00
Eelco Dolstra b8d59765e1 cups: Add a listenAddresses option 2014-04-25 00:30:12 +02:00
Eelco Dolstra cd05320716 Manual: Don't include the platform type of the host system
This causes unnecessary rebuilds of the manual.

http://hydra.nixos.org/build/10662170
2014-04-25 00:14:55 +02:00
Eelco Dolstra 23297b0edd Make nscd startup synchronous
Nscd forks into the background before it's ready to accept
connections. So explicitly wait until it's ready.

http://hydra.nixos.org/build/10661767
2014-04-24 23:18:47 +02:00
Eelco Dolstra d7a7f80aff cups: Start after network.target
http://hydra.nixos.org/build/10661709
2014-04-24 23:18:16 +02:00
Eelco Dolstra 2c70276d96 Remove outdated remark 2014-04-24 23:18:15 +02:00
Vladimír Čunát 116d52c6df linux-3.12: bump .17 -> .18 2014-04-24 20:02:34 +02:00
Shea Levy d4cb80eaf4 sproxy: bump 2014-04-24 13:21:46 -04:00
Shea Levy c7f2d87a56 Add haskell-http-kit 2014-04-24 13:06:01 -04:00
Eelco Dolstra af817ae0d8 Try again 2014-04-24 18:32:32 +02:00
Eelco Dolstra 019e9d8a3d Fix simpleTest function 2014-04-24 15:46:10 +02:00
Eelco Dolstra d304b277bd Silence some Hydra evaluation warnings 2014-04-24 15:40:55 +02:00
Eelco Dolstra 2b7e746c02 Make the misc test a bit more robust 2014-04-24 15:19:26 +02:00
Eelco Dolstra 2d8c0d24f2 dhcpcd: Fix segfaults
This fixes several problems in the dhcpcd service:

* A segfault during startup, due to a race with udev (dhcpcd would get
  an ADD event from udev, causing it to re-add an interface that it
  already had, leading to a segfault later on).

* A hang/segfault processing "dhcpcd rebind" (which NixOS calls after
  waking up from suspend).

Also, add "lo" to the list of ignored interfaces. It usually ignores
"lo", but apparently not when it gets an ADD event from udev.
2014-04-24 15:19:26 +02:00