gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
42,863 Commits 9 Branches 0 Tags
ba332accc2e4c2d18d3abb268d7ecf7bd301307c
Commit Graph
42863 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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 HudoklinandBjørn Forsman 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 TuegelandBjørn Forsman 7896a84849 qvim: add lua support 2014-04-29 22:19:58 +02:00
Jaka HudoklinandBjørn Forsman ca3c2b7b2a rabbitmq_server: enable builds on darwin 2014-04-29 22:06:54 +02:00
Jaka HudoklinandBjørn Forsman 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 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
Mihaly BaraszandEelco Dolstra 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