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
Eelco Dolstra
e9be441b62
Merge the EFI test into tests/installer.nix
2014-04-30 11:26:39 +02:00
Eelco Dolstra
8c75ae3838
nixos-generate-config: Use systemd-detect-virt instead of dmidecode
...
Dmidecode fails in our EFI test with the error "SMBIOS entry point
missing". But we don't need dmidecode because we have already have
systemd-detect-virt.
2014-04-30 11:26:39 +02:00
Eelco Dolstra
956f464fff
Remove obsolete zsh help text
2014-04-30 11:26:39 +02:00
Eelco Dolstra
077ecf43e5
Installer test: Remove fileSystems argument
...
The config function unintentionally ignored its fileSystems
argument. However, things still worked thanks to the magic of
nixos-generate-config. Yay!
2014-04-30 11:26:39 +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
90dac235bb
Remove the option ‘programs.bash.enable’
...
NixOS has a pervasive dependency on bash. For instance, the X11
session script sources /etc/profile to get a reasonable
environment. Thus we should not provide an option to disable bash.
Also, enabling zsh no longer sets ‘users.defaultUserShell’ to zsh, to
prevent a collision with bash's definition of the same
option. (Changing the default shell is also something that should be
left to the user.)
2014-04-29 19:00:39 +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