3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

36621 commits

Author SHA1 Message Date
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 c0d742110f haskell-threadscope: update to version 0.2.3 2014-05-03 20:03:32 +02:00
Peter Simons 0cb0810c96 haskell-hslogger: update to version 1.2.4 2014-05-03 20:03:32 +02:00
Peter Simons 0e4d6747ee haskell-HaRe: update to version 0.7.2.3 2014-05-03 20:03:32 +02:00
Peter Simons 1940a89112 haskell-stringable: update to version 0.1.3 2014-05-03 20:03:32 +02:00
Peter Simons 3aa5ae8f31 haskell-pcre-light: update to version 0.4.0.2 2014-05-03 20:03:31 +02:00
Peter Simons e0a257ae59 haskell-monad-extras: update to version 0.5.8 2014-05-03 20:03:31 +02:00
Peter Simons 45165186dc haskell-logging: update to version 1.4.1 2014-05-03 20:03:31 +02:00
Peter Simons f899787872 haskell-libmpd: update to version 0.8.0.3 2014-05-03 20:03:31 +02:00
Peter Simons 9953352f3e haskell-github: update to version 0.8 2014-05-03 20:03:31 +02:00
Peter Simons b851ea759e haskell-ghc-events: update to version 0.4.3.0 2014-05-03 20:03:31 +02:00
Peter Simons 3a784a6b8c haskell-JuicyPixels: update to version 3.1.5.1 2014-05-03 20:03:31 +02:00
Peter Simons 0f6bd32324 haskell-Hipmunk: update to version 5.2.0.14 2014-05-03 20:03:30 +02:00
Peter Simons f9f19ee938 haskell-xmonad-contrib: update to version 0.11.3 2014-05-03 20:03:30 +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
Peter Simons 13b246b221 ghc-head: update snapshot to 7.9.20140430 (and download the tarball from Debian)
https://github.com/NixOS/nixpkgs/pull/2480
2014-05-03 20:03:30 +02:00
Peter Simons 0138b81ed6 Merge pull request #2483 from proger/haskell-ekg-0.4
haskell: bump ekg to 0.4, add ekg-core
2014-05-03 19:30:02 +02:00
Eelco Dolstra 0ff68e81b9 debian: Update to 7.5
[Note from Austin: I think @edolstra forgot to merge this to master.]

(cherry picked from commit 02b056c5b1 on
release-14.04)
2014-05-03 10:55:26 -05:00
Austin Seipp 2be1b4c034 build-support/vm: add Ubuntu 14.04 Trusty Tahir
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-03 10:51:32 -05:00
Cillian de Róiste f3e0a29338 aubio: update from 0.4.0 to 0.4.1 2014-05-03 17:12:06 +02:00
Vladimir Kirillov 599f9a09fe haskell: bump ekg to 0.4, add ekg-core 2014-05-03 17:36:03 +03:00
Rob Vermaas 837ddd22f2 Merge pull request #2388 from bennofs/update-jdk7
jdk7: update patchversion 51 -> 55.
2014-05-03 15:59:49 +02:00
Cillian de Róiste 849f6788ac darktable: update from 1.4.1 to 1.4.2 2014-05-03 15:16:12 +02:00
Domen Kožar 73e82b9e07 s/config.allowUnfree = true/allowUnfree = true/ 2014-05-03 15:13:01 +02: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
Vladimír Čunát 6faa50e11d libmms: bugfix update, including CVE-2014-2892 2014-05-03 11:38:20 +02:00
Vladimír Čunát 8c918bdc2c rsync: fix CVE-2014-2855 by upstream patch 2014-05-03 11:31:28 +02:00
Vladimír Čunát 3bb121e50e dbus: minor update 1.8.0 -> .2 2014-05-03 11:31:28 +02:00
Vladimír Čunát e0be3df0eb harfbuzz: minor update 0.9.27 -> .28 2014-05-03 11:31:27 +02:00
Vladimír Čunát 062e2567c9 curl: minor update 7.35.0 -> 7.36.0, including CVE fixes 2014-05-03 11:30:53 +02:00
Peter Simons ca35c44408 haskell-streaming-commons: update to version 0.1.2.1 2014-05-03 10:53:22 +02:00
Peter Simons 49503c10c7 haskell-hledger: update to version 0.23 2014-05-03 10:53:22 +02:00
Peter Simons bad008d48a haskell-hledger-web: update to version 0.23 2014-05-03 10:53:22 +02:00
Peter Simons 7cbf87792a haskell-hledger-lib: update to version 0.23 2014-05-03 10:53:22 +02:00
Peter Simons 92c9b2eb8f haskell-conduit: update to version 1.1.1.1 2014-05-03 10:53:22 +02:00
Peter Simons 6e58bbe32b haskell-conduit-extra: update to version 1.1.0.3 2014-05-03 10:53:22 +02:00
Peter Simons 6fe44baced haskell-conduit-combinators: update to version 0.2.5.1 2014-05-03 10:53:22 +02:00
Peter Simons b4893842d2 haskell-classy-prelude: update to version 0.9.1 2014-05-03 10:53:22 +02:00
Peter Simons 48f2ae7dec haskell-classy-prelude-conduit: update to version 0.9.1 2014-05-03 10:53:22 +02:00
Peter Simons 084cec9404 haskell-arithmoi: update to version 0.4.1.0 2014-05-03 10:53:21 +02:00
Peter Simons 2b11ec44e8 haskell-hledger-irr: update to version 0.1.1.4 2014-05-03 10:53:21 +02:00
John Wiegley 7d788d5e4f Add expression for the Agda standard library 2014-05-02 19:15:38 -05:00
Michael Raskin aea5277ca2 Switch Axel to a publically accessible download source 2014-05-03 01:08:15 +04:00
Michael Raskin 4c55ae8588 Update TPTP and make URL set robust to moving old versions to archive 2014-05-03 00:53:46 +04:00
Michael Raskin 87304674a6 Update JWM to an easily available version 2014-05-03 00:42:12 +04:00
Michael Raskin 6548fbfb28 Use the working source for GNU ARch 2014-05-03 00:20:08 +04:00
宋文武 388d32d966 gst-plugins-bad: build with wildmidi and fluidsynth
remove timidity, the plugin does not build at all
2014-05-02 21:31:06 +02:00
宋文武 da98b7d65e renpy: update from 6.17.3 to 6.17.4 2014-05-02 21:31:05 +02:00
宋文武 cccaf8c091 midori: update from 0.5.7 to 0.5.8 2014-05-02 21:31:05 +02:00
宋文武 f6b989e6f3 mate-themes: update from 1.6.2 to 1.6.3 2014-05-02 21:31:05 +02:00
宋文武 4080e415ca mate-icon-theme: update from 1.6.2 to 1.6.3 2014-05-02 21:31:05 +02:00
宋文武 b57c9ed9d5 gstreamer: update from 1.2.3 to 1.2.4 2014-05-02 21:31:05 +02:00
宋文武 69c4dae379 gst-plugins-ugly: update from 1.2.3 to 1.2.4 2014-05-02 21:31:05 +02:00
宋文武 cd5702da47 gst-plugins-good: update from 1.2.3 to 1.2.4 2014-05-02 21:31:05 +02:00
宋文武 98dd37afad gst-plugins-bad: update from 1.2.3 to 1.2.4 2014-05-02 21:31:05 +02:00
宋文武 6324296900 gst-libav: update from 1.2.3 to 1.2.4 2014-05-02 21:31:05 +02:00
宋文武 eb36621839 dvtm: update from 0.10 to 0.11 2014-05-02 21:31:05 +02:00
taku0 af0139d7d4 Update thunderbird-bin to version 24.5.0 2014-05-02 21:21:29 +02:00
Austin Seipp 76b05b1630 releaseTools: add {clang,coverity}Analysis tools
These two expressions greatly simplify using the clang-analyzer or
Coverity static analyzer on your C/C++ projects. In fact, they are
identical to nixBuild in every way out of the box, and should 'Just
Work' providing your code can be compiled with Clang already.

The trick is that when running 'make', we actually just alias it to the
appropriate scan build tool, and add a post-build hook that will bundle
up the results appropriately and unalias it.

For Clang, we put the results in $out/analysis and add an 'analysis'
report to $out/nix-support/hydra-build-products pointing to the result
HTML - this means that if the analyzer finds any bugs, the HTML results
will automatically show up Hydra for easy viewing.

For Coverity, it's slightly different. Instead we run the build tool and
after we're done, we tar up the results in a format that Coverity Scan's
service understands. We put the tarball in $out/tarballs under the name
'foo-cov-int.xz' and add an entry for the file to hydra-build-products
as well for easy viewing.

Of course for Coverity you must then upload the build. A Hydra plugin to
do this is on the way, and it will automatically pick up the
cov-int.tar.xz for uploading.

Note that coverityAnalysis requires allowUnfree = true;, as well as the
cov-build tools, which you can download from https://scan.coverity.com -
they're not linked to your account or anything, it's just an annoying
registration wall.

Note this is a first draft. In particular, scan-build fixes the C/C++
compiler to be Clang, and it's perfectly reasonable to want to use Clang
for the analyzer but have scan-build invoke GCC instead.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 14:07:37 -05:00
Austin Seipp 59528d9f0e clang-analyzer: respect $NIX_CFLAGS_COMPILE
When using scan-build, you're often going to want to use it in the
context of a Nix expression with buildInputs, and the default wrapper
scripts will put things like include locations for those inputs
$NIX_CFLAGS_COMPILE. Thus, scan-build also needs to pass them to the
analyzer - while the link flags aren't relevant, the include flags are.

This is because the analyzer executable that gets run by scan-build is
*not* clang-wrapper, but the actual clang executable, so it doesn't
implicitly add such arguments. The build is two-stage - it runs the real
clang wrapper once, and then the analyzer once.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 14:07:37 -05:00
Austin Seipp 27a0d56514 compcert: Fix Hydra platforms
Copy-pasta error, and compcert doesn't really make sense on Darwin or
64bit linux (it's callPackage_i686 anyway).

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 14:07:36 -05:00
John Wiegley fb778b705f Add expression for Haskell library 'these' 2014-05-02 13:43:34 -05:00
Mateusz Kowalczyk 193d73d2d3 tibia: version 10.39 2014-05-02 20:38:42 +02:00
Michael Raskin feddcfaf1e Readding Erlang R16B02: R17 is a major update and it breaks Ejabberd. 2014-05-02 20:50:58 +04:00
Peter Simons de26954b30 Merge pull request #2470 from sol/master
Update haskell-hspec to version 0.9.5
2014-05-02 12:09:08 +02:00
Simon Hengel e4dead3171 Update haskell-hspec to version 0.9.5 2014-05-02 14:57:46 +08: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 368a677c97 nixos: overhaul datadog module
This overhauls the Datadog module a bit to be much more useful. In
particular, it adds support for nginx and postgresql monitoring
integrations to dd-agent. These have to exist in separate files under
/etc/dd-agent, so the module just exposes then as separate options. In
the future, more integrations could be added this way.

In the process of doing this, I also had to rename the dd-agent user to
datadog. Note the UIDs did not change, so this is strictly backwards
compatible. The reason for this is to make it easier to create a
'datadog' postgres user with access to pg_stats, as 'dd-agent' typically
isn't a valid username. This allows the out of the box configurations to
be used.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 01:24:35 -05:00
Austin Seipp e67cc9ba07 nginx: build http_stub_status module
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 00:42:40 -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
Austin Seipp 7d58646b08 z3/verifast: update license
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:09:24 -05:00
Peter Simons 303ddfab4c haskell-ghc-mod: re-generate with cabal2nix 2014-05-01 23:40:13 +02:00
Peter Simons baa1543dbc cabal-bounds: re-generate with cabal2nix 2014-05-01 23:38:20 +02:00
Peter Simons 5849a91e8d pkgs/build-support/cabal: revert "the release version of GHC 7.8.x no longer requires"
This reverts commit a2a398fbda. The
issue *does* still exist in GHC 7.8.2. Compiled binaries have no -rpath
into their own install directory ("$out") and thus cannot find their own
shared libraries. To work around this issue, we pass an explicit -rpath
argument at configure time. We do that only on Linux, though, because
-rpath is known to cause trouble on Darwin, which was the reason I
originally reverted that patch.
2014-05-01 23:14:55 +02:00
Peter Simons 8b67834bf3 haskell-ghc-mod: make sure GHC <7.8 and >7.8 pick the same datadir install path 2014-05-01 22:57:09 +02:00
Peter Simons d6dd5688a2 haskell-ghc-mod: disable test suite to fix build with GHC 7.8.2
https://github.com/kazu-yamamoto/ghc-mod/issues/242
2014-05-01 22:56:44 +02:00
Peter Simons a77e380454 xmonad-contrib: patch to fix build with GHC 7.8.2 2014-05-01 22:28:13 +02:00
Peter Simons 74a9767c5e haskell-libmpd: jailbreak to fix build with recent versions of 'text' 2014-05-01 22:28:13 +02:00
Peter Simons b5113c90a4 haskell-yesod-form: update to version 1.3.8.3 2014-05-01 21:57:04 +02:00
Peter Simons cf871089b5 haskell-warp: update to version 2.1.5.1 2014-05-01 21:57:04 +02:00
Peter Simons 373defe9cd haskell-sqlite-simple: update to version 0.4.7.0 2014-05-01 21:57:04 +02:00
Peter Simons eead385738 haskell-snap-cors: update to version 1.2.4 2014-05-01 21:57:04 +02:00
Peter Simons 07b80292a0 haskell-pandoc-types: update to version 1.12.3.3 2014-05-01 21:57:04 +02:00
Peter Simons f1ce1480df haskell-nanospec: update to version 0.2.0 2014-05-01 21:57:04 +02:00
Peter Simons e942079d46 haskell-mono-traversable: update to version 0.5.0 2014-05-01 21:57:03 +02:00
Peter Simons c4eb80e485 haskell-lifted-async: update to version 0.2.0 2014-05-01 21:57:03 +02:00
Peter Simons 9921686058 haskell-largeword: update to version 1.2.2 2014-05-01 21:57:03 +02:00
Peter Simons 8fc6f1a080 haskell-language-javascript: update to version 0.5.13 2014-05-01 21:57:03 +02:00
Peter Simons 705888c629 haskell-http-client: update to version 0.3.2.1 2014-05-01 21:57:03 +02:00
Peter Simons 62a775df61 haskell-hspec: update to version 1.9.4 2014-05-01 21:57:03 +02:00
Peter Simons 3b6b967b9d haskell-hspec-meta: update to version 1.9.4 2014-05-01 21:57:03 +02:00
Peter Simons a1952b5e13 haskell-hledger-web: update to version 0.22.8 2014-05-01 21:57:03 +02:00
Peter Simons 84c41f46f7 haskell-ghc-mod: update to version 4.1.0 2014-05-01 21:57:03 +02:00
Peter Simons 45af6556f6 haskell-fay: update to version 0.20.0.0 2014-05-01 21:57:03 +02:00
Peter Simons 14edbe5597 haskell-fay-base: update to version 0.19.1.2 2014-05-01 21:57:03 +02:00
Peter Simons 42e324c537 haskell-cassava: update to version 0.4.0.0 2014-05-01 21:57:03 +02:00
Peter Simons 87f8a70f9c haskell-blaze-html: update to version 0.7.0.2 2014-05-01 21:57:03 +02:00
Peter Simons 7452e8b4eb haskell-Elm: update to version 0.12.1.3 2014-05-01 21:57:03 +02:00
Peter Simons 4700996bc7 haskell-sloane: update to version 1.7.1 2014-05-01 21:57:03 +02: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
Domen Kožar 1d2278f480 pypy: disable sqlite3 tests (failing due to sqlite bump) 2014-05-01 18:38:06 +02:00
Austin Seipp 4fe2f98051 zarith: fix perl path
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 09:14:16 -05:00
Emery Hemingway 3b1a171c05 qtbitcointrader: initial expression 2014-05-01 15:50:57 +02:00
Rob Vermaas eaedf303a0 Add RHEL7 to vm functions. 2014-05-01 15:13:35 +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
Eelco Dolstra cb45ecad34 systemd: Look for fsck.* in the right place
Fixes #2464.
2014-05-01 14:32:58 +02:00
Tom Dimiduk c4f66df29a add zeromq4 and zeromq4-haskell 2014-05-01 07:52:21 -04:00
Eelco Dolstra a986bbf4ba postgresql: Update to latest versions 2014-05-01 13:49:31 +02:00
Vladimír Čunát d4e1bd4aa6 libreoffice: fix build after mesa update
This is because it uses vanilla pkgconfig,
so it needs Reqires.private deps from mesa during configuration.
2014-05-01 13:08:05 +02:00
Peter Simons 0293dc9fbd Merge pull request #2357 from Chaddai/texstudio
Texstudio : advanced editor for LaTeX
2014-05-01 13:06:06 +02:00
Peter Simons b9921ab08a ledger-3.0.nix: cosmetic fix of syntax highlighting in Emacs 2014-05-01 12:58:30 +02:00
Peter Simons c10a424bdd ledger-2.6.3: rename the derivation to "ledger2" to allow installing
this version instead of ledger 3.x (which doesn't support reading
GNUCash files)

Discussed in <https://github.com/NixOS/nixpkgs/pull/2305>.
2014-05-01 12:56:45 +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
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