Luca Bruno
85175de878
libgweather: fix zoneinfo path
2014-05-02 16:04:57 +02:00
Luca Bruno
ea1e72196f
gnome-online-miners: use grilo plugins
2014-05-02 16:04:57 +02:00
Luca Bruno
4229053cb0
gnome-photos: new package
...
Photos is an application to access, organize and share your photos with GNOME 3
https://wiki.gnome.org/Apps/Photos
2014-05-02 16:04:57 +02:00
Luca Bruno
d6206ccceb
evolution: new package
...
Personal information management application that provides integrated mail,
calendaring and address book functionality
https://wiki.gnome.org/Apps/Evolution
2014-05-02 16:04:57 +02:00
Luca Bruno
3377bbf4e9
evolution-data-server: update to 3.10.4
2014-05-02 16:04:57 +02:00
Luca Bruno
e1c448e91a
gtkhtml: added gnome3 4.6 version
2014-05-02 16:04:56 +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
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