3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

36495 commits

Author SHA1 Message Date
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
Eelco Dolstra 65a78e16f1 httpd: Update to 2.2.27
CVE-2013-6438, CVE-2014-0098
2014-05-01 11:48:56 +02:00
Eelco Dolstra ba332accc2 php: Update to 5.4.27
CVE-2013-7345, CVE-2014-1943, CVE-2014-2270, CVE-2013-6712
2014-05-01 11:45:35 +02:00
Eelco Dolstra 7e36ddf766 afflib: Fix broken URL
Also, use stdenv.mkDerivation and drop unusued libewf dependency.
2014-05-01 10:57:52 +02:00
Eelco Dolstra 6c69ad3a97 Fix meta.license attribute 2014-05-01 10:51:15 +02:00
Austin Seipp 628e914f2b frama-c: overhaul, upgrade to 20140301-Neon
This massively upgrades the frama-c package to be far more useful,
including support for a lot more plugins, including Jessie.

Jessie unfortunately requires that its plugin is installed alongside
frama-c, so we install why2 (where it lives) along with frama-c now.
This increases the size, but makes it much more useful.

In the future, it may be possible to split out the build such that why2
is a separate expression and frama-c only installs the plugin, rather
than all of why2. However, right now this is fine.

Furthermore, why3 is now a dependency - the Jessie plugin can use
either, and defaults to Why3 now. Per the design, Frama-C can also go
from Why2->Why3 as well.

We also make Coq and Alt-Ergo dependencies, so that out-of-the-box users
get at least one SMT solver and a prover for support.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:42:34 -05: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 5f702d52f4 ocamlgraph: upgrade to 1.8.5
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
Austin Seipp 2d7fe68212 lablgtk: remove old patch
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:25:45 -05:00
Moritz Ulrich 1ac4383889 elixir: update from 0.12.4 to 0.13.0 2014-04-30 23:52:55 +02:00
Moritz Ulrich a21486d990 Erlang: Update from R16B02 to 17.0. 2014-04-30 23:52:55 +02: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
Moritz Ulrich 81a6fcd847 anki: update from 2.0.22 to 2.0.26 2014-04-30 23:52:55 +02:00
Moritz Ulrich 444538ca8f syncthing: Bump to 0.8.2.
Tested this in two containers running 0.7.1 before. Upgraded fine and
kept working without configuration changes.
2014-04-30 23:52:54 +02:00
John Wiegley 3988f438ef Add expression for the Haskell posix-paths library 2014-04-30 17:19:34 -04:00
Eelco Dolstra 8f5ebe495c chatzilla: Update to 0.9.90.1
Also, make it work with recent Firefoxes.
2014-04-30 17:02:12 +02:00
Eelco Dolstra 0ac20f0726 flashplayer: Update to 11.2.202.356
CVE-2014-0515
2014-04-30 15:52:43 +02:00
Rob Vermaas fed7a43020 Update nixops 1.1.1 to 1.2. 2014-04-30 11:15:36 +02: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 52514efb16 cryptol: Replace URLs with something meaningful
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 17:54:37 -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
Austin Seipp 1d3b5874ad nixpkgs: cov-build 7.0.2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 16:00:34 -05:00
Jaka Hudoklin cbfbd01cd7 nodejs: fix on i686-linux
Fixes this:

  creating  ./config.gypi
  creating  ./config.mk
  building
  make flags: SHELL=/nix/store/fp0nwhj932kscakw1gbnlmmk8pdfv9sq-bash-4.2-p45/bin/bash
  building out/Makefile
  /nix/store/vh2zy8l2797yl3mri35y8jnhc81w9hm1-python-2.7.6/bin/python tools/gyp_node.py -f make
  /bin/sh: which: command not found
  gyp: Call to '(echo | $(echo ${CXX_host:-$(which g++)}) -m32 -E - > /dev/null 2>&1) && echo "-m32" || true' returned exit status 0.
  make: *** [out/Makefile] Error 1

[Bjørn: add build error to commit message.]
2014-04-29 22:29:24 +02:00
Thomas Tuegel 7896a84849 qvim: add lua support 2014-04-29 22:19:58 +02:00
Jaka Hudoklin ca3c2b7b2a rabbitmq_server: enable builds on darwin 2014-04-29 22:06:54 +02:00
Jaka Hudoklin ab53d469f8 erlang: enable and fix builds on darwin 2014-04-29 22:06:53 +02:00
Eelco Dolstra fe4bc3cc80 Fix evaluation error
http://hydra.nixos.org/build/10697257
2014-04-29 20:40:28 +02:00
Benno Fünfstück 3685bf378f haskell: new expression cabal-bounds 2014-04-29 19:19:10 +02:00
Bjørn Forsman b802924af1 xfce: fix typo introduced in recent commit (s/gtk/gtk3/)
Fix typo introduced in commit 0b2dd3a12f
(Xfce: Don't depend on GTK+ 3 by default).
2014-04-29 19:13:43 +02:00
Eelco Dolstra 1235f693ee firefox: Update to 29.0 2014-04-29 18:46:06 +02:00
Austin Seipp c8f82b4ee8 spark: 0.9.0 -> 0.9.1
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 10:34:28 -05:00
Chaddaï Fouché 600bd22f27 Adding myself as maintainer of texstudio 2014-04-29 16:49:21 +02:00
Chaddaï Fouché ce82a2d6d9 Cleaning up the description and fixing qt to qt4 2014-04-29 16:49:20 +02:00
Chaddaï Fouché ed3a809a3d Add the necessary preConfigure so that TeXstudio compile (find poppler-qt4.h) 2014-04-29 16:48:22 +02:00
Chaddaï Fouché 89595fbcea Creation of a new package for texstudio, an editor for LaTeX documents 2014-04-29 16:48:22 +02:00
Mihaly Barasz 1f2228cdc1 tzdata: use symlinks instead of hardlinks
Hard links are not handled by nar, so installing from binary cache
unnecessarily duplicates data. Also, it's more common to use symlinks for the
tzdata package in other distributions.
2014-04-29 16:25:10 +02:00
Eelco Dolstra dc224baba1 tzdata: Update to 2014b 2014-04-29 16:13:15 +02:00
Mihaly Barasz c2c90bf2bb tzdata: fix 'posix' symlink 2014-04-29 16:08:19 +02:00
Oliver Charles 7fb22dd5a0 Merge pull request #2444 from sol/update-http-kit
Update haskell-http-kit to version 0.2.2
2014-04-29 14:10:06 +01:00
Eelco Dolstra 0b2dd3a12f Xfce: Don't depend on GTK+ 3 by default
Given that Xfce is intended as a light-weight desktop environment,
pulling in two versions of GTK+ by default is not ideal.
2014-04-29 14:42:36 +02:00
Simon Hengel 6cb6694f8b Update haskell-http-kit to version 0.2.2 2014-04-29 20:24:14 +08:00
Eelco Dolstra 5ae8ed381c Shut up warning about missing fonts.dtd 2014-04-29 12:27:03 +02:00
Kirill Elagin 8dc287b88c Let users install fonts to their HOME directory 2014-04-29 12:27:03 +02:00
Vladimír Čunát 920a734a15 qt48: bugfix update 4.8.5 -> .6
Some patches dropped, as they seemed included.
2014-04-29 09:29:11 +02:00
Peter Simons 50d5d8b33f The hamlet and shakespeare-* packages are deprecated and no longer
export any code. This means that we cannot run the Haddock phase.
2014-04-29 01:35:50 +02:00
Peter Simons 1a06bcc109 haskell-packunused: update to version 0.1.1.2 2014-04-29 01:35:50 +02:00
Peter Simons d163de3bdb haskell-zip-archive: update to version 0.2.2.1 2014-04-29 01:35:49 +02:00
Peter Simons 2b1fc1ad1b haskell-yesod-test: update to version 1.2.1.4 2014-04-29 01:35:49 +02:00
Peter Simons 247b903b68 haskell-yesod-core: update to version 1.2.15 2014-04-29 01:35:49 +02:00
Peter Simons 91af4b57ac haskell-yesod-bin: update to version 1.2.9.1 2014-04-29 01:35:49 +02:00
Peter Simons c1d56bb242 haskell-xml-hamlet: update to version 0.4.0.8 2014-04-29 01:35:49 +02:00
Peter Simons 0c7b8142da haskell-x509-system: update to version 1.4.5 2014-04-29 01:35:49 +02:00
Peter Simons b39407d997 haskell-websockets: update to version 0.8.2.2 2014-04-29 01:35:49 +02:00
Peter Simons b0ea67aa87 haskell-warp: update to version 2.1.5 2014-04-29 01:35:49 +02:00
Peter Simons 045b7d77a1 haskell-warp-tls: update to version 2.0.5 2014-04-29 01:35:49 +02:00
Peter Simons 73bfdbf69f haskell-wai-test: update to version 2.0.1.2 2014-04-29 01:35:49 +02:00
Peter Simons 76f369772f haskell-twitter-types: update to version 0.2.20140424 2014-04-29 01:35:49 +02:00
Peter Simons a9f35c5e67 haskell-tagged: update to version 0.7.2 2014-04-29 01:35:49 +02:00
Peter Simons 74e12c231b haskell-syntactic: update to version 1.12.1 2014-04-29 01:35:48 +02:00
Peter Simons e4186ad25c haskell-stylish-haskell: update to version 0.5.10.0 2014-04-29 01:35:48 +02:00
Peter Simons 8825b68758 haskell-streaming-commons: update to version 0.1.2 2014-04-29 01:35:48 +02:00
Peter Simons 4cc210e793 haskell-sqlite-simple: update to version 0.4.6.1 2014-04-29 01:35:48 +02:00
Peter Simons fd5cf61924 haskell-snap-server: update to version 0.9.4.4 2014-04-29 01:35:48 +02:00
Peter Simons 8ebb807985 haskell-snap-cors: update to version 1.2.3 2014-04-29 01:35:48 +02:00
Peter Simons 466f5ce639 haskell-smtps-gmail: update to version 1.2.0 2014-04-29 01:35:48 +02:00
Peter Simons 63ec22b6b4 haskell-sized-types: update to version 0.5.0 2014-04-29 01:35:48 +02:00
Peter Simons e9aa6c017a haskell-shakespeare: update to version 2.0.0.3 2014-04-29 01:35:48 +02:00
Peter Simons fa92bc88ca haskell-shakespeare-text: update to version 1.1.0 2014-04-29 01:35:48 +02:00
Peter Simons 8884a80caf haskell-shakespeare-js: update to version 1.3.0 2014-04-29 01:35:48 +02:00
Peter Simons 90ad782cc5 haskell-shakespeare-i18n: update to version 1.1.0 2014-04-29 01:35:48 +02:00
Peter Simons b6d3a73d52 haskell-shakespeare-css: update to version 1.1.0 2014-04-29 01:35:48 +02:00
Peter Simons d043573059 haskell-retry: update to version 0.4 2014-04-29 01:35:48 +02:00
Peter Simons 7841191a84 haskell-regular: update to version 0.3.4.3 2014-04-29 01:35:48 +02:00
Peter Simons 0823af1708 haskell-pointedlist: update to version 0.6.1 2014-04-29 01:35:47 +02:00
Peter Simons 65ac678f1b haskell-persistent-postgresql: update to version 1.3.1 2014-04-29 01:35:47 +02:00
Peter Simons d2a0bde63f haskell-permutation: update to version 0.5.0.4 2014-04-29 01:35:47 +02:00
Peter Simons 9131908d53 haskell-nats: update to version 0.1.3 2014-04-29 01:35:47 +02:00
Peter Simons cee7a67810 haskell-monads-tf: update to version 0.1.0.2 2014-04-29 01:35:47 +02:00
Peter Simons fe5f31bdb1 haskell-mime-mail: update to version 0.4.5.2 2014-04-29 01:35:47 +02:00
Peter Simons 9aab7494bc haskell-http-conduit: update to version 2.1.2 2014-04-29 01:35:47 +02:00
Peter Simons 4a1340c780 haskell-http-client: update to version 0.3.2 2014-04-29 01:35:47 +02:00
Peter Simons da7cc3a1f1 haskell-hspec: update to version 1.9.3 2014-04-29 01:35:47 +02:00
Peter Simons e74db96100 haskell-hspec-meta: update to version 1.9.3 2014-04-29 01:35:47 +02:00
Peter Simons 5717591f43 haskell-hslua: update to version 0.3.12 2014-04-29 01:35:47 +02:00
Peter Simons c7bd8255a6 haskell-hinotify: update to version 0.3.7 2014-04-29 01:35:47 +02:00
Peter Simons f80d29805a haskell-haskell-src-exts: update to version 1.15.0.1 2014-04-29 01:35:47 +02:00
Peter Simons 01494efdd6 haskell-haskell-names: update to version 0.3.3.2 2014-04-29 01:35:47 +02:00
Peter Simons 0e1af854bb haskell-happstack-hamlet: update to version 7.0.4 2014-04-29 01:35:46 +02:00
Peter Simons 6f47302ead haskell-hamlet: update to version 1.2.0 2014-04-29 01:35:46 +02:00
Peter Simons 5926fec3f9 haskell-free: update to version 4.7.1 2014-04-29 01:35:46 +02:00
Peter Simons 27be932ff3 haskell-filestore: update to version 0.6.0.2 2014-04-29 01:35:46 +02:00
Peter Simons 75289fbc31 haskell-extensible-effects: update to version 1.6.0 2014-04-29 01:35:46 +02:00
Peter Simons b9d4464af6 haskell-esqueleto: update to version 1.4 2014-04-29 01:35:46 +02:00
Peter Simons 8ae402a4a6 haskell-distributive: update to version 0.4.3.2 2014-04-29 01:35:46 +02:00
Peter Simons e2ecbc0267 haskell-direct-sqlite: update to version 2.3.13 2014-04-29 01:35:46 +02:00
Peter Simons 80454adf79 haskell-dataenc: update to version 0.14.0.7 2014-04-29 01:35:46 +02:00
Peter Simons 740470e6a4 haskell-data-ordlist: update to version 0.4.6.1 2014-04-29 01:35:46 +02:00
Peter Simons f380255792 haskell-cuda: update to version 0.6.0.0 2014-04-29 01:35:46 +02:00
Peter Simons cc8959c86a haskell-contravariant: update to version 0.5 2014-04-29 01:35:46 +02:00
Peter Simons 1f8334eacf haskell-conduit: update to version 1.1.1 2014-04-29 01:35:46 +02:00
Peter Simons 310c4299a9 haskell-conduit-extra: update to version 1.1.0.2 2014-04-29 01:35:46 +02:00
Peter Simons 8f607fca3a haskell-conduit-combinators: update to version 0.2.5 2014-04-29 01:35:45 +02:00
Peter Simons f4524394b0 haskell-cereal-conduit: update to version 0.7.2.2 2014-04-29 01:35:45 +02:00
Peter Simons a0265900f5 haskell-c2hs: update to version 0.17.2 2014-04-29 01:35:45 +02:00
Peter Simons e7721d7027 haskell-blaze-markup: update to version 0.6.1.0 2014-04-29 01:35:45 +02:00
Peter Simons f012c2b131 haskell-bifunctors: update to version 4.1.1.1 2014-04-29 01:35:45 +02:00
Peter Simons ad784bb2f2 haskell-active: update to version 0.1.0.13 2014-04-29 01:35:45 +02:00
Peter Simons 551cae1aa0 haskell-git-annex: update to version 5.20140421 2014-04-29 01:35:45 +02:00
Peter Simons 6c5d7a63ac haskell-sloane: update to version 1.7 2014-04-29 01:35:45 +02:00
Peter Simons 3f23727e09 haskell-arbtt: update to version 0.8 2014-04-29 01:35:45 +02:00
Peter Simons e8ba2d4ded haskell-packages.nix: switch ghc-head to cabal-install 1.20.x.x 2014-04-29 01:35:45 +02:00
Peter Simons 2bf7311b3f haskell-packages.nix: cosmetic 2014-04-29 01:35:45 +02:00
Peter Simons 192ef70a7c haskell-prelude-extras: add version 0.4 2014-04-29 01:35:45 +02:00
Austin Seipp 7faaa9e6da lockdep: 3.14 -> 3.14.2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 17:34:35 -05:00
Austin Seipp ec13d61cbf minecraft-server: 1.7.5 -> 1.7.9
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 17:34:35 -05:00
Peter Simons f060e592cf desktops/cinnamon/*.nix: mark as broken per https://github.com/NixOS/nixpkgs/issues/2384 2014-04-28 23:20:37 +02:00
Peter Simons 001c64c1df Merge pull request #2342 from jwiegley/icu
Fix icu4c expression for latest gcc (fixes #2341)
2014-04-28 22:50:31 +02:00
Peter Simons 1d7f7ad92f Merge pull request #2353 from jwiegley/sage
Add expression for sage
2014-04-28 22:46:27 +02:00
Peter Simons 3445df42a4 Merge pull request #2368 from Chaddai/texmaker
TeXmaker
2014-04-28 22:42:47 +02:00
Austin Seipp fec91fd092 fmod: 4.44.32 -> 4.44.33
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 15:27:40 -05:00
Austin Seipp aaa0304a45 nixpkgs: verifast 13.11.14
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 13:46:27 -05:00
Peter Simons 93846bef59 haskell-hfsevents: re-generate with cabal2nix 2014-04-28 19:04:10 +02:00
Peter Simons 11fc857e30 haskell-jack: re-generate with cabal2nix 2014-04-28 19:04:10 +02:00
Peter Simons 5ac35c0f3b haskell-tz: fix build (of the test suite) 2014-04-28 19:04:10 +02:00
Peter Simons 9eff988bbf haskell-enumset: re-generate with cabal2nix 2014-04-28 19:04:10 +02:00
Eelco Dolstra 2ca913c509 Add some packages to the channel 2014-04-28 18:34:23 +02:00
Domen Kožar 80f7248c83 Merge pull request #2432 from Fuuzetsu/livestreamer
livestreamer: version 1.8.0
2014-04-28 17:08:58 +02:00
Vladimír Čunát d76b5d5ce3 Merge branch 'x-updates': mesa 10.0.* -> 10.1.1
Also minor xorg bumps.
2014-04-28 16:22:55 +02:00
Eelco Dolstra 17336efdd8 apr: Update to 1.5.1 2014-04-28 14:45:54 +02:00
Eelco Dolstra 39faed1f2f qemu: Apply patch for CVE-2014-0150, CVE-2014-2894 2014-04-28 14:37:46 +02:00
Eelco Dolstra 0af5d11a6f qemu-image: Remove (obsolete) 2014-04-28 14:34:34 +02:00
Simon Hengel 62b883070b Update haskell-base-compat to version 0.5.0
Closes #2431

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 04:58:12 -05:00
Simon Hengel 692fc6fdc1 Update haskell-http-kit to version 0.2.1
Closes #2430

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 04:58:09 -05:00
Mateusz Kowalczyk 9cb0a79538 livestreamer: version 1.8.0
A test fails with Python 3.4 so we ignore that one.
2014-04-28 09:03:44 +00:00
Austin Seipp 111e1536e5 nixpkgs: remove cb1cat
Brice Minaud reported a simple attack on the CBEAM Pi permutation
function, resulting in it being withdrawn from CAESAR. :(

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:51:56 -05:00
Austin Seipp 0f1f2115e9 hol_light: fix script, upgrade to r189
This also tweaks the version number to just use the SVN revision (rather
than date), since it's unambiguous and increasing anyway.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:31:36 -05:00
Bjørn Forsman 6859853045 psmisc: (from upstream) Typo in fuser makes -M on all the time 2014-04-27 20:19:31 +02:00
Austin Seipp da0c8f33ef nixpkgs: yices 2.2.1
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:05:40 -05:00
aszlig d8f8f31726
chromium: Fix desktop icon and duplicate entry.
This should fix the desktop icon location for both desktop entries (the
one from the Chromium derivation itself and the wrapper) and renames the
name of the file so that it gets overridden by the wrappers desktop item
so we don't end up having two of them.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-04-27 18:52:28 +02:00
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
Benno Fünfstück 9d15c568d8 Fix whitespace 2014-04-26 21:15:06 +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