Pascal Wittmann
d099c1b96d
Merge pull request #22507 from layus/dafny-update
...
Add dafny; fixup Boogie
2017-02-07 10:21:35 +01:00
Pascal Wittmann
04a128540d
Merge pull request #22285 from nand0p/electricsheep
...
electricsheep: 2.6.8 -> 2.7b33
2017-02-07 10:20:20 +01:00
Guillaume Maudoux
aeaf893e57
dafny: init at v1.9.8
2017-02-07 10:13:42 +01:00
Frederik Rietdijk
c73045ef10
pythonPackages.sphinx: 1.5.1 -> 1.5.2
2017-02-07 09:12:30 +01:00
Frederik Rietdijk
6640fe2e1e
pythonPackages.sphinx: fix make-mode, fixes #22501
2017-02-07 09:12:30 +01:00
Jake Waksbaum
651d5019bc
pstoedit,plotutils: fix for darwin and mark not broken ( #22196 )
...
pstoedit,plotutils: fix for darwin
2017-02-07 09:01:33 +01:00
aszlig
cd10e3c4ff
nixos/tests/chromium: Run tests as normal user
...
The tests have failed because Chromium has started up displaying the
following error message in a dialog window:
Chromium can not be run as root.
Please start Chromium as a normal user. If you need to run as root for
development, rerun with the --no-sandbox flag.
So let's run as user "alice" and pass all commands using the small
helper function "ru" (to keep it short, it's for "Run as User").
Tested it by running the "stable" test on x86_64-linux.
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Reported-by: @globin
2017-02-07 07:36:56 +01:00
aszlig
87cc20eddb
nixos/networkd: Fix eval error for defaultGateway
...
Regression introduced by 0cb487ee04
.
This changed the result for defaultGateway to be a submodule instead of
just a plain string, so instead of using just cfg.defaultGateway we need
to pass cfg.defaultGateway.address now.
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Cc: @abbradar
2017-02-07 07:05:31 +01:00
Remy Goldschmidt
ac72948c94
souper: init at 2017-01-05
2017-02-06 21:57:45 -06:00
Joachim Fasting
9611a60708
jfbview: 0.5.2 -> 0.5.3, fixes build
...
Also convert tabs to spaces
2017-02-07 04:48:33 +01:00
David McFarland
905627c7c5
xorg-server: fglrxCompat -> abiCompat
...
Allows it to be used for fglrx (1.17) and amdgpu-pro (1.18)
2017-02-06 23:16:21 -04:00
David McFarland
47c166fe05
amdgpu-pro: 16.50 -> 16.60
2017-02-06 23:16:21 -04:00
Joachim Fasting
83f83ca434
jbig2dec: patch for CVE-2016-9601
...
Upstream bug: https://bugs.ghostscript.com/show_bug.cgi?id=697457
A new release containing this fix is expected in march; until then,
apply patch from upstream. Note that there have been essentially no
changes between 0.13 and this patch.
2017-02-07 04:07:15 +01:00
Graham Christensen
4c5b08e4e2
firefox-wrapper: remove gnash support, see #22342
2017-02-06 21:40:19 -05:00
Graham Christensen
267813f4f7
Revert "firefox-wrapper: remove gnash support, see #22342 "
...
Accidentally committed other changes
This reverts commit f77bc59af6
.
2017-02-06 21:39:09 -05:00
Graham Christensen
f77bc59af6
firefox-wrapper: remove gnash support, see #22342
2017-02-06 21:29:58 -05:00
Shea Levy
0cd174899c
xf86-video-intel: 15c5ff1245 -> e4fe79cf0d.
...
Fixes a GPU hang bug, see https://bugs.freedesktop.org/show_bug.cgi?id=99696
2017-02-06 21:27:44 -05:00
Graham Christensen
8608f91661
gnash: remove due to removal of ming
2017-02-06 21:23:40 -05:00
Joachim Fasting
12284fff17
jbig2dec: 0.11 -> 0.13, new upstream location
...
The most recent version on the sourceforge page is 0.11 which is quite
old; the official upstream site has 0.13; judging by the commit delta,
there've been quite a few bug fixes etc since 0.11.
2017-02-07 03:09:27 +01:00
Shea Levy
41ba205dda
ming: remove.
...
The project seems dead and there are recent security issues.
See https://lwn.net/Vulnerabilities/712664/
2017-02-06 21:08:57 -05:00
Joachim F
fe3dd6df73
Merge pull request #22486 from bendlas/update-cdemu
...
cdemu: bugfix updates
2017-02-07 00:05:49 +01:00
Fernando J Pando
17d74c4912
electricsheep: 2.6.8 -> 2.7b33
...
- Updates and fixes currently broken package.
- Provides Flam3 and GLee dependencies.
- Tested on Nixos Unstable.
2017-02-06 18:05:38 -05:00
Benjamin Staffin
35fdfa8597
Merge pull request #22453 from benley/vim-desktop
...
vim: Create xdg apps/icons dirs so .desktop items get installed
2017-02-06 17:54:24 -05:00
Jascha Geerds
6b81954e9b
Merge pull request #22488 from peterhoeg/u/tg
...
terragrunt: 0.9.6 -> 0.9.9
2017-02-06 23:19:17 +01:00
Guillaume Maudoux
ccb2d83980
boogie: fix basename issues; promote to package
2017-02-06 22:50:05 +01:00
Shea Levy
714fdb425a
firewall: Fix check for rpfilter on manual-config kernels
2017-02-06 16:43:23 -05:00
Robert Helgesson
04bd77fa47
bash-completion: 2.4 -> 2.5
2017-02-06 21:59:10 +01:00
Dan Peebles
2ac2bd187e
pythonPackages.pyenchant: fix on darwin
2017-02-06 15:42:54 -05:00
Tuomas Tynkkynen
6091bdfebe
fio: 2.12 -> 2.17
2017-02-06 22:34:28 +02:00
Arseniy Seroka
1c9a39e0f8
Merge pull request #22504 from dancek/patch-1
...
CONTRIBUTING.md: improve commit message guidelines
2017-02-06 23:34:17 +03:00
Hannu Hartikainen
9ed8627a76
CONTRIBUTING.md: improve commit message guidelines
...
Add a brief request for expressing the motivation for a change. Change the example commit messages to match.
Resolves #19126 .
2017-02-06 22:26:32 +02:00
Daiderd Jordan
8c97854eb1
Merge pull request #22481 from kirelagin/tarsnap-macos
...
tarsnap: fix darwin build
2017-02-06 21:01:40 +01:00
Bjørn Forsman
d3c7a94b77
openocd: 0.9.0 -> 0.10.0
...
Announcement:
http://openocd.org/2017/01/openocd-0-10-0-release-is-out/
The udev rules were renamed. Add code to automatically detect renames in
the future.
2017-02-06 20:19:36 +01:00
Vincent Laporte
82c1d98e94
asymptote: fix build on darwin
2017-02-06 19:05:55 +00:00
Pascal Wittmann
442e0ab1f6
Merge pull request #22492 from schneefux/pkg.shaarli-material
...
shaarli: add material theme package
2017-02-06 18:36:29 +01:00
Thomas Tuegel
f0bbf73e0b
Merge pull request #22477 from peterhoeg/f/kdiff3
...
kdiff3-qt5: init at 1.7.0
2017-02-06 11:21:31 -06:00
Thomas Tuegel
667a78f176
Merge pull request #22478 from peterhoeg/p/okteta
...
okteta: init at 16.12.1 (kf5 version)
2017-02-06 11:19:13 -06:00
Celine Mercier
78c052e91a
ecopcr: init at 0.8.0
2017-02-06 16:01:08 +01:00
Joachim Fasting
0d422c5db5
grsecurity: 4.8.17-201701151620 -> 4.9.8-201702060653
...
The first release in the 4.9 branch.
I've also migrated my update scripts to SHA-512 so that'll
be the hash of choice for grsec packages going forward.
2017-02-06 15:49:34 +01:00
Joachim F
6eb6130e15
Merge pull request #22495 from pradeepchhetri/wuzz-20170205
...
wuzz: init at 2017-02-05
2017-02-06 15:45:56 +01:00
Franz Pletz
a6b080e3f8
youtubeDL: 2017.02.01 -> 2017.02.04.1
2017-02-06 15:13:19 +01:00
Franz Pletz
01cf43a389
firmwareLinuxNonfree: 2016-07-12 -> 2017-02-06
2017-02-06 15:11:04 +01:00
Pradeep Chhetri
f22a7f0558
wuzz: init at 2017-02-05
2017-02-06 19:28:40 +05:30
Tim Steinbach
b6c0502213
Merge pull request #22466 from NeQuissimus/rkt_1_24_0
...
rkt: 1.23.0 -> 1.24.0
2017-02-06 08:54:13 -05:00
Jörg Thalheim
1afab98842
telegraf: 1.2.0 -> 1.2.1
2017-02-06 14:08:18 +01:00
Jörg Thalheim
2c96395272
android-udev-rules: 20170125 -> 20170202
2017-02-06 13:21:50 +01:00
Franz Pletz
900326fdc0
wget: add some more dependencies & small cleanups
...
cc #22416
2017-02-06 13:18:33 +01:00
Franz Pletz
8b9e2010b4
libidn2: init at 0.16
...
wget now needs libidn2 instead of libidn.
cc #22416
2017-02-06 13:18:20 +01:00
Franz Pletz
f629f4e234
libpsl: 0.15.0 -> 0.17.0
2017-02-06 13:18:00 +01:00
Nikolay Amiantov
23d47ac2e6
Merge pull request #22354 from abbradar/dbus-etc
...
dbus: don't search for units in current-system
2017-02-06 14:04:01 +03:00