Orivej Desh
d8f668c7b3
Merge pull request #32643 from kini/drat-trim
...
drat-trim: init at 2017-08-31
2017-12-17 00:31:25 +00:00
Keshav Kini
7b6b074829
drat-trim: init at 2017-08-31
...
DRAT-trim is a tool which can be used to make SAT solvers (such as
glucose and glucose-syrup, which are in nixpkgs) more useful by
checking their work. It has become well-accepted in the SAT solver
development community and has been used in the annual SAT competitions
for the last few years.
2017-12-17 00:27:52 +00:00
Bert Moens
5e0344dce9
kicad: add support for oce, ngspice and scripting
2017-12-17 00:20:45 +00:00
Bert Moens
af5272f599
kicad: add unstable version
2017-12-17 00:10:28 +00:00
Orivej Desh
e0029419dd
Merge pull request #32625 from markus1189/minikube
...
minikube: fix wrong path for localkube
2017-12-16 22:59:58 +00:00
Orivej Desh
5b99d2b374
Merge pull request #32727 from bachp/riot-web-0.13.3
...
riot-web: 0.13.1 -> 0.13.3
2017-12-16 22:35:25 +00:00
Moritz Drexl
3d52d43dd9
emacs: enable vfork on darwin
...
Issue described here:
https://lists.gnu.org/archive/html/bug-gnu-emacs/2017-04/msg00201.html
In particular fixes lagging magit, as described here:
https://magit.vc/manual/magit/MacOS-Performance.html
The .patch file is taken from the reference there.
The fix is in Emacs master, so this patch should be removed when switching to
Emacs 26.1.
2017-12-16 22:25:42 +00:00
Orivej Desh
8dc107be5b
Merge pull request #32738 from LambdaP/neovim-viAlias-option
...
neovim: add viAlias argument
2017-12-16 21:43:46 +00:00
Orivej Desh
a1b57855cf
Merge pull request #32633 from magnetophon/rkrlv2
...
rkrlv2: b1.0 -> b2.0
2017-12-16 21:25:57 +00:00
Orivej Desh
6dac26591a
Merge pull request #32606 from magnetophon/yoshimi
...
yoshimi: 1.5.4.1 -> 1.5.5
2017-12-16 21:13:48 +00:00
Orivej Desh
33bad5e471
Merge pull request #32557 from magnetophon/zynaddsubfx
...
zynaddsubfx: 3.02 -> 3.03
2017-12-16 21:06:51 +00:00
Orivej Desh
f6dd6a438b
Merge pull request #32741 from gnidorah/rambox
...
rambox: allow user to disable tooltips
2017-12-16 20:33:26 +00:00
Vladimír Čunát
4c8447bd31
liferea: 1.12-rc3 -> 1.12.0
2017-12-16 20:17:53 +01:00
gnidorah
074a43f3dc
rambox: allow user to disable tooltips
2017-12-16 21:36:33 +03:00
Alex Feldman-Crough
98e3a4c879
gitea: 1.2.3 -> 1.3.2
2017-12-16 09:43:13 -08:00
Patrick Lambein
15c4b78c36
neovim: add viAlias argument
...
The argument viAlias mimicks the behavior of vimAlias: when set to true, it
creates a symbolic link from $out/bin/vi to $out/bin/nvim.
2017-12-16 15:38:36 +01:00
Markus Kowalewski
352399e559
airspy: fix installation of udev rules for USB access
2017-12-16 12:52:07 +01:00
Vincent Laporte
12c5fe3e2d
ocamlPackages.cairo2: 0.4.6 -> 0.5
2017-12-16 12:14:35 +01:00
Matthias Beyer
79ba686371
mutt: 1.9.1 -> 1.9.2 ( #32734 )
2017-12-16 11:22:51 +01:00
Vladimír Čunát
0c5f5ba61d
Merge #32718 : chromium: 63.0.3239.84 -> 63.0.3239.108
2017-12-16 09:04:21 +01:00
John Wiegley
40627000f7
coq_8_7: 8.7.0 -> 8.7.1
2017-12-15 22:09:15 -08:00
Pascal Bach
bfa16504a8
riot-web: 0.13.1 -> 0.13.3
2017-12-16 00:43:29 +01:00
Peter Simons
4859e70468
sane-backends-git: update to current HEAD of master branch
2017-12-15 20:36:31 +01:00
Yuriy Taraday
2733530a66
chromium: 63.0.3239.84 -> 63.0.3239.108
...
New stable release with 2 security fixes [0].
Version 64 has been promoted to Beta, build still doesn't work.
[0] https://chromereleases.googleblog.com/2017/12/stable-channel-update-for-desktop_14.html
2017-12-15 22:22:55 +04:00
Jörg Thalheim
5687f61b19
Merge pull request #32637 from makefu/pkgs/openstack/nuke
...
nuke openstack (again)
2017-12-15 10:06:23 -08:00
Jörg Thalheim
5af695c688
Merge pull request #32635 from markus1189/minikube-update
...
Minikube update
2017-12-15 09:47:46 -08:00
Orivej Desh
e7d4784a6e
Merge pull request #32680 from vbgl/ocaml-topkg-cleanup
...
ocamlPackages.topkg: refactoring
2017-12-15 17:35:35 +00:00
Orivej Desh
884b748ceb
pqiv: remove unneded native build inputs
2017-12-15 16:39:28 +00:00
Orivej Desh
28f49e86f9
Merge pull request #32678 from dtzWill/feature/pqiv-backends
...
pqiv: add dependencies needed to enable all backends
2017-12-15 16:32:18 +00:00
makefu
7d5692c9ed
neutron: rip
...
part of openstack cleanup
2017-12-15 16:08:37 +01:00
makefu
71767ee3c7
glance: rip
...
part of openstack cleanup
2017-12-15 16:08:10 +01:00
makefu
d3d94992cf
keystone: rip
...
part of openstack cleanup
2017-12-15 16:06:44 +01:00
Gabriel Ebner
e4d4b2eb60
qutebrowser: 1.0.3 -> 1.0.4
2017-12-15 15:43:54 +01:00
Robert Helgesson
edd40e7e7a
electron-cash: 2.9.4 -> 3.0
2017-12-15 14:58:43 +01:00
Graham Christensen
13d80cbab4
Merge pull request #32697 from yrashk/camlistore-perkeep
...
camlistore: 0.9 -> perkeep 20170505
2017-12-15 08:04:34 -05:00
volth
6b2a80a1fc
firefox-wrapper: restore supportsJDK removed from all-packages.nix
2017-12-15 12:39:29 +00:00
Graham Christensen
ea274076cc
Merge pull request #32698 from alesguzik/update-bitwig
...
bitwig: 2.1.3 -> 2.2.2
2017-12-15 07:37:17 -05:00
Orivej Desh
9045920bfa
skypeforlinux: caution against updates to unstable versions
2017-12-15 11:51:29 +01:00
volth
4021a5d6c1
firefox-wrapper: restore supportsJDK removed from all-packages.nix
2017-12-15 09:14:48 +00:00
volth
fbaa749621
qemu: 2.10.1 -> 2.11.0
2017-12-15 08:49:32 +00:00
John Wiegley
2e93f93b2a
z3_4_5_0: New expression, to access the release version's API
2017-12-14 23:32:37 -08:00
Ales Huzik
ab2621605a
bitwig: 2.1.3 -> 2.2.2
2017-12-15 16:35:46 +11:00
Yurii Rashkovskii
13b30b26ad
camlistore: 0.9 -> perkeep 20170505
...
camlistore has been renamed to perkeep
2017-12-15 04:24:18 +00:00
Jörg Thalheim
1a98fc40e9
Merge pull request #32638 from sorki/ipmicfg_2
...
ipmicfg: 1.27.0 -> 1.27.1
2017-12-14 15:34:12 -08:00
Will Dietz
e11be36eaf
pqiv: Add dependencies so all backends are available
2017-12-14 17:33:51 -06:00
Jörg Thalheim
26012087e9
Merge pull request #32611 from cransom/gitless
...
gitless: init at 0.8.5
2017-12-14 11:58:01 -08:00
Orivej Desh
187b18f035
Merge pull request #32632 from magnetophon/pqiv
...
pqiv: 2.10.1 -> 2.10.2
2017-12-14 18:18:08 +00:00
Jörg Thalheim
3f4e24aaa0
Merge pull request #32671 from jonafato/keepassxc-2.2.4
...
keepassxc: 2.2.2 -> 2.2.4
2017-12-14 09:46:18 -08:00
Cray Elliott
768e88eb44
discord: 0.0.2 -> 0.0.3
2017-12-14 09:40:15 -08:00
Jon Banafato
616fa05306
keepassxc: 2.2.2 -> 2.2.4
...
KeepassXC has a new bugfix release. The changelog is available at
https://github.com/keepassxreboot/keepassxc/releases/tag/2.2.4 .
2017-12-14 11:32:20 -05:00
Orivej Desh
9759b65846
Merge pull request #32667 from sjau/master
...
skypeforlinux: update hash
The unpacked files did not change.
2017-12-14 15:07:08 +00:00
Franz Pletz
f429d40f4a
xmr-stak: 2.0.0 -> 2.1.0
2017-12-14 16:03:08 +01:00
sjau
4ce310f95d
skypeforlinux: fixing sha256
2017-12-14 15:43:41 +01:00
Bart Brouns
4c6e4e81ae
qsampler: 0.4.3 -> 0.5.0
2017-12-14 14:42:37 +01:00
Tim Steinbach
2e21451dcf
atom: 1.23.0 -> 1.23.1
2017-12-14 08:23:57 -05:00
Graham Christensen
b45be40818
airspy: fixup meta
2017-12-14 07:33:41 -05:00
Pascal Wittmann
aacf756ed0
Merge pull request #32538 from vbgl/ott-0.27
...
ott: 0.25 -> 0.27
2017-12-14 09:07:46 +01:00
Vincent Laporte
5e4edcc4ec
ocamlPackages.topkg: refactoring
2017-12-14 07:36:29 +00:00
Peter Hoeg
9b6ef35b2c
neomutt: 20171027 -> 20171208
2017-12-14 11:25:11 +08:00
Casey Ransom
b401087dff
gitless: init at 0.8.5
2017-12-13 20:45:33 -05:00
Joachim F
74f1b7df7a
Merge pull request #32495 from magnetophon/ingen
...
Ingen
2017-12-14 00:39:59 +00:00
Joachim F
d7082a5020
Merge pull request #32630 from taku0/flashplayer-28.0.0.126
...
flashplayer: 27.0.0.187 -> 28.0.0.126 [Moderate security fix]
2017-12-14 00:30:23 +00:00
Thomas Tuegel
2a9c2915d4
Merge pull request #32559 from FlorentBecker/fixTuareg
...
emacsPackagesNg.caml: do not run ocaml's configure phase
2017-12-13 14:53:35 -06:00
Richard Marko
f605a8d642
ipmicfg: 1.27.0 -> 1.27.1
2017-12-13 19:49:00 +01:00
Markus Hauck
a108f9d401
minikube: generate zsh completion
2017-12-13 18:19:40 +01:00
Markus Hauck
8911ae524d
minikube: 0.23.0 -> 0.24.1
2017-12-13 18:19:32 +01:00
Markus Hauck
718f148022
minikube: fix wrong path for localkube
2017-12-13 18:17:15 +01:00
makefu
5369400bb0
nova: rip
...
part of openstack cleanup
2017-12-13 18:16:29 +01:00
Bjørn Forsman
c55a6eef86
gerrit: 2.14.3 -> 2.14.6
2017-12-13 16:42:33 +01:00
Tim Steinbach
0be3f2cdd8
atom: 1.22.0 -> 1.23.0
2017-12-13 09:08:26 -05:00
Bart Brouns
2d3700edee
rkrlv2: b1.0 -> b2.0
2017-12-13 13:56:43 +01:00
Bart Brouns
6ac325146c
pqiv: 2.10.1 -> 2.10.2
2017-12-13 13:55:25 +01:00
taku0
774786b54d
flashplayer: 27.0.0.187 -> 28.0.0.126
2017-12-13 20:08:07 +09:00
Graham Christensen
e5629dc51a
Merge pull request #32365 from vcunat/p/check-meta
...
check meta, treewide
2017-12-12 18:55:23 -05:00
Vladimír Čunát
3a110ea3f9
treewide platform checks: abort -> throw
...
They aren't meant to be critical (uncatchable) errors.
Tested with nix-env + checkMeta:
[ "x86_64-linux" "i686-linux" "x86_64-darwin" "aarch64-linux" ]
2017-12-12 18:08:10 -05:00
Sarah Brofeldt
8f8b9f1a50
Merge pull request #32597 from Enzime/add/syncplay
...
Add syncplay 1.5.0
2017-12-12 20:54:11 +01:00
Sarah Brofeldt
095bcd1f20
Merge pull request #32593 from lsix/update_qgis
...
qgis: 2.18.14 -> 2.18.15
2017-12-12 19:25:22 +01:00
Bart Brouns
0b8ec310ea
yoshimi: 1.5.4.1 -> 1.5.5
2017-12-12 18:26:56 +01:00
Joachim Fasting
97ab2f0d8b
electrum: 3.0.2 -> 3.0.3
...
Note that due to runtime impurities, non-NixOS users must prepend and export
QT_PLUGIN_PATH=${qt5.qtbase.qtPluginPrefix}
and
LD_LIBRARY_PATH=/run/opengl-driver/lib
before running electrum, lest it fail to find runtime dependencies or pick
up mismatching libraries from the host system.
2017-12-12 14:32:42 +01:00
André-Patrick Bubel
4ea01b6ce1
electrum: 2.9.3 -> 3.0.2
2017-12-12 14:32:12 +01:00
Michael Hoang
a1ab4788dd
syncplay: init at 1.5.0
2017-12-13 00:06:12 +11:00
Andreas Rammhold
276683071b
xen: Added patches for XSA-248, XSA-249, XSA-250, XSA-251
2017-12-12 13:34:35 +01:00
Lancelot SIX
cf58ab88a9
qgis: 2.18.14 -> 2.18.15
2017-12-12 13:21:37 +01:00
Andreas Rammhold
834bdd25a3
xen: apply patches for XSA-246 & XSA-247 (CVE-2017-{17044,17045})
2017-12-12 13:20:03 +01:00
zimbatm
32623958e4
terraform_0_11: 0.11.0 -> 0.11.1
2017-12-11 22:59:24 +00:00
John Doe
750a7c677b
libvirt: remove xen dependency on aarch64
2017-12-11 19:46:05 +02:00
Vincent Laporte
b212125b54
Merge pull request #32250 from vbgl/coq-clean
...
coq_HEAD, coqPackages_8_4: remove
2017-12-11 18:13:24 +01:00
Jörg Thalheim
7c2528b0c4
Merge pull request #32567 from andir/slack3.0.0
...
slack: 2.9.0 -> 3.0.0
2017-12-11 13:56:00 +00:00
Andreas Rammhold
bb06c9ee5d
slack: 2.9.0 -> 3.0.0
2017-12-11 14:26:05 +01:00
Orivej Desh
76090f5dc3
qtile: disable check after #32244
2017-12-11 11:21:32 +00:00
Bart Brouns
61bc9decd7
mod-distortion: 2015-05-18 -> 2016-08-19
2017-12-11 10:11:05 +00:00
Bart Brouns
60684ce53b
distrho: 2017-08-04 -> 2017-10-10
2017-12-11 10:11:05 +00:00
Bart Brouns
2eb3471c2d
calf: 0.0.60 -> 0.90.0
2017-12-11 10:11:05 +00:00
Florent Becker
519a573720
emacsPackagesNg.caml: do not run ocaml's configure phase
2017-12-11 09:54:33 +01:00
Vladimír Čunát
e9c12f6936
Merge older staging
...
There are some regressions, but not that many and I want
the security update of openssl fast.
2017-12-11 09:49:56 +01:00
Franz Pletz
d1c9beebdb
xmr-stak: fix evaluation with nix 1.11
2017-12-11 09:42:44 +01:00
Gabriel Ebner
f336bd43d2
Merge pull request #32515 from gebner/firefox_webrender
...
firefox: enable webrender
2017-12-11 09:11:23 +01:00
Bart Brouns
18158e7706
zynaddsubfx: 3.02 -> 3.03
2017-12-11 08:05:04 +01:00
Franz Pletz
8a14953356
imagemagick7: 7.0.7-9 -> 7.0.7-14
2017-12-11 04:59:37 +01:00
Franz Pletz
02c3d3493e
Merge pull request #32343 from lheckemann/imagemagick-6.9.9-25
...
imagemagick: 6.9.9-23 -> 6.9.9-26
2017-12-11 03:56:41 +00:00
