nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-26 15:44:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
43,168 Commits 200 Branches 125 Tags 9.1 GiB
8a446a01d7
Commit Graph

36668 Commits

Author SHA1 Message Date
宋文武
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
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
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
Sterling Stein
63b3cf669b Add subtitle option for ffmpeg. 2014-04-25 20:13:12 -07: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
Mateusz Kowalczyk
6fa0f4f904 Bump mpv to 0.3.8 2014-04-25 18:59:50 +00: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