Luca Bruno
63cdda1f4e
zeitgeist: new package
...
Zeitgeist is a service which logs the users's activities and events
https://launchpad.net/zeitgeist
2014-05-02 17:43:02 +02:00
Luca Bruno
b3fe998fdb
gnome-clocks: new package
...
Clock application designed for GNOME 3
https://wiki.gnome.org/Apps/Clocks
2014-05-02 16:04:57 +02:00
Luca Bruno
fbfccea0e8
geoclue2: add dbus service
2014-05-02 16:04:57 +02:00
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
Peter Simons
5d5bc8a037
Merge pull request #2463 from triplepoint217/master
...
add zeromq4 and zeromq4-haskell
2014-05-01 14:10:59 +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
Eelco Dolstra
4de6357776
Remove mysterious line
2014-05-01 10:43:07 +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
Eelco Dolstra
c9ebb42573
Disable the rabbitmq test
...
It frequently gets stuck in an infinite loop, delaying releases for
many hours.
2014-04-30 23:19:50 +02:00
John Wiegley
3988f438ef
Add expression for the Haskell posix-paths library
2014-04-30 17:19:34 -04:00
Eelco Dolstra
0ea20bef3c
Set release date
2014-04-30 23:13:45 +02:00
Eelco Dolstra
be0f5eb45c
qemu-guest.nix: Load virtio_rng
...
This allows the guest to have a paravirtualized RNG, if the host
provides it.
2014-04-30 18:23:42 +02: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
a96f4920d5
Don't make the EFI tests release-critical
...
They're failing on i686: http://hydra.nixos.org/build/10712961
2014-04-30 16:48:20 +02:00
Eelco Dolstra
1d8f7e63b0
Punctuation
2014-04-30 16:39:56 +02:00
Shea Levy
8e9de81857
Merge remote-tracking branch 'origin/modernize_nixos_generate_config'
...
modernize nixos-generate-config
2014-04-30 10:23:52 -04:00
Shea Levy
26d03000c2
Actually use services.mysql.port
...
Fixes #1315
2014-04-30 10:21:29 -04:00
Eelco Dolstra
05decd49ff
Handle Zabbix agent and server both being enabled
...
This gave an error about the zabbix user uid being defined multiple
times.
2014-04-30 16:18:03 +02:00
Domen Kozar
88a8ec37d3
modernize nixos-generate-config
2014-04-30 16:14:53 +02:00
Eelco Dolstra
0ac20f0726
flashplayer: Update to 11.2.202.356
...
CVE-2014-0515
2014-04-30 15:52:43 +02:00
Eelco Dolstra
27d47f3983
Fix the simple installer test
...
http://hydra.nixos.org/build/10712818
2014-04-30 15:07:34 +02:00
Eelco Dolstra
437962ebb2
Installer test: Unmount filesystems after installation
...
Hopefully fixes failures like:
http://hydra.nixos.org/build/10712833
This shouldn't be necessary, but it might be that the use of unionfs
is interfering with a clean shutdown.
2014-04-30 15:07:34 +02:00
Eelco Dolstra
728d3476ba
systemd: Require some more kernel features
2014-04-30 13:53:12 +02:00
Eelco Dolstra
9bb209a3bd
gummiboot: Automatically disable GRUB
2014-04-30 11:47:18 +02:00