Commit Graph

21952 Commits

Author SHA1 Message Date
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
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
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
Graham Christensen
13d80cbab4
Merge pull request #32697 from yrashk/camlistore-perkeep
camlistore: 0.9 -> perkeep 20170505
2017-12-15 08:04:34 -05: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
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