Commit Graph

146127 Commits

Author SHA1 Message Date
Vincent Laporte
5a7ab721b4
ocamlPackages.lwt_log: init at 1.0.0 2018-07-12 21:26:00 +00:00
Vincent Laporte
124071cacd
ocamlPackages.lwt3: make dependency to camlp4 optional 2018-07-12 21:25:52 +00:00
Will Dietz
81c7e8e0a5 xscope: init at 1.4.1
See the xscope README for more information:

https://cgit.freedesktop.org/xorg/app/xscope/tree/README
2018-07-12 16:22:43 -05:00
Alexander Krupenkin
b26c224293 parity: 1.10.8 -> 1.10.9 (#43411) 2018-07-12 23:10:49 +02:00
Timo Kaufmann
35896e3506 sage: replace flask-babel version pin by patch 2018-07-12 22:55:16 +02:00
Austin Seipp
54e9f7dcbe z3: move to multiple output packages
The Z3 source code is effectively compiled into two completely separate
objects: the z3 binary file, and the libz3.so library -- but the binary is not
linked against the shared library, it simply incorporates all of the object
files. The Z3 code base results in an ~25MB object on x86_64-linux. As a
result, splitting bin/ and lib/ results in a 50% reduction in closure size.

(The include/ directory is also surprisingly large at .5MB...)

This also splits the python API into a completely separate .python attribute,
as well.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-07-12 15:48:48 -05:00
Timo Kaufmann
d37c23c699 jmol: 14.29.12 -> 14.29.17 (#43429) 2018-07-12 22:31:52 +02:00
Joachim F
2775744624
Merge pull request #43319 from r-ryantm/auto-update/tor
tor: 0.3.3.7 -> 0.3.3.8
2018-07-12 20:26:32 +00:00
Pascal Wittmann
b85d1f638a
xeyes: 1.1.1 -> 1.1.2 2018-07-12 22:18:03 +02:00
Pascal Wittmann
e0f54907ae
peco: 0.5.2 -> 0.5.3 2018-07-12 22:03:06 +02:00
Pascal Wittmann
e137f80e62
wikicurses: 1.3 -> 1.4 2018-07-12 21:53:48 +02:00
Tad Fisher
5dc1d746cf zoom-us: fix runtime qt environment 2018-07-12 12:03:56 -07:00
Will Dietz
68cd907d1e
Merge pull request #43425 from dtzWill/fix/r2-cutter-no-wrapper
radare2-cutter: don't wrap, shouldn't be needed (and might be wrong)
2018-07-12 13:25:11 -05:00
Will Dietz
b30a690af7 radare2-cutter: don't wrap, shouldn't be needed (and might be wrong)
This was working around mixed qt versions apparently,
which I've fixed and it is no longer needed.

Sorry about that.
2018-07-12 12:57:43 -05:00
Will Dietz
d2d049f187 libqmatrixclient: 0.2.1 -> 0.3.0.2 2018-07-12 12:53:59 -05:00
Will Dietz
5a1310da7f quaternion: 0.0.9 -> 0.0.9.2 2018-07-12 12:33:13 -05:00
Will Dietz
ee57cb3a24
Merge pull request #43422 from dtzWill/experimental/ghc-musl-misc-fixes
haskell-{unix-time,prettyprinter}: dontCheck on musl
2018-07-12 12:06:04 -05:00
Will Dietz
ba602b0a5f haskell-{unix-time,prettyprinter}: dontCheck on musl 2018-07-12 11:04:25 -05:00
Will Dietz
78381de859
Merge pull request #43400 from dtzWill/experimental/ghc-musl-nollvm
ghc: don't use LLVM w/musl on non-cross
2018-07-12 10:48:04 -05:00
Izorkin
f7d6744cf8 dar: 2.5.14 -> 2.5.15 2018-07-12 17:41:41 +03:00
Tuomas Tynkkynen
6b5c9fc197 linux_rpi: 1.20180417 -> 1.20180619 2018-07-12 17:04:07 +03:00
Tuomas Tynkkynen
7b25471fb1 raspberrypifw: 1.20180417 -> 1.20180619 2018-07-12 17:04:07 +03:00
Tuomas Tynkkynen
d0195f0e1d U-Boot: 2018.05 -> 2018.07
- We get to drop a bunch of patches. Yay!
- bison and flex are now needed
2018-07-12 17:03:40 +03:00
Ben Wolsieffer
7c763118b4 raspberrypiWirelessFirmware: init 2018-07-12 17:02:32 +03:00
Andrew Dunham
d7bfd04301 sdImage: make partition ID/UUID configurable 2018-07-12 17:02:03 +03:00
taku0
900617bd30 firefox, firefox-bin: add dependencies for flashplayer 2018-07-12 22:05:52 +09:00
taku0
a19c7135ca flashplayer: fix hashes 2018-07-12 22:05:17 +09:00
Izorkin
99670bbb91 libmodsecurity: 3.0.0 -> 3.0.2 (#43406) 2018-07-12 14:36:38 +02:00
xeji
b744eb18a2
Merge pull request #43407 from dotlambda/seafile-6.2.2
seafile-client: 6.2.1 -> 6.2.2
2018-07-12 14:16:14 +02:00
xeji
cfc2e6795a
Merge pull request #43396 from volth/xfce-remove-screenLock
nixos: remove option services.xserver.desktopManager.xfce.screenLock
2018-07-12 14:08:14 +02:00
Pascal Wittmann
e69876503a
Merge pull request #43205 from r-ryantm/auto-update/engrampa
mate.engrampa: 1.20.1 -> 1.21.0
2018-07-12 14:07:31 +02:00
Pascal Wittmann
420bc232cc
Merge pull request #43213 from r-ryantm/auto-update/caja
mate.caja: 1.21.1 -> 1.21.2
2018-07-12 14:06:40 +02:00
Pascal Wittmann
6a4aaf8965
Merge pull request #43293 from eliasp/add-hetzner-kube-0.3.1
hetzner-kube: init at version 0.3.1
2018-07-12 14:04:26 +02:00
Jörg Thalheim
1973580af2
Merge pull request #43402 from teto/tig
tig: add zsh completion
2018-07-12 07:27:56 -04:00
Jörg Thalheim
bc05053631 tig: zsh completion should be named _tig 2018-07-12 07:26:56 -04:00
Jörg Thalheim
b19efb6aee
Merge pull request #43404 from Izorkin/shells-zsh-command-time
zsh-command-time: 2017-05-09 -> 2018-04-30
2018-07-12 07:18:31 -04:00
xeji
90380d0fa9
Merge pull request #43394 from volth/flash-30.0.0.113
flash: 30.0.0.113 -> 30.0.0.134
2018-07-12 13:06:27 +02:00
goibhniu
c23b4d36be
Flash: Fix the sha256 for linux x86_64 2018-07-12 11:30:05 +01:00
Peter Simons
b1e298f7ca
Merge pull request #43408 from iimog/fix-rPackages.haven
rPackages.haven: fix installation
2018-07-12 11:50:53 +02:00
Markus Ankenbrand
775fd4bfba rPackages.haven: fix installation 2018-07-12 11:07:27 +02:00
Peter Simons
e65bdb9199 xmonad-extras: jailbreak to build to cope with out patched version of xmonad
Fixes https://github.com/NixOS/nixpkgs/issues/43374.
2018-07-12 10:54:58 +02:00
Joachim F
aa34268dc8
Merge pull request #43391 from alyssais/patch-3
tor-browser-bundle: update license to free
2018-07-12 08:22:57 +00:00
Peter Simons
3e3a860c88 multi-ghc-travis: update to latest git version 2018-07-12 10:21:32 +02:00
Robert Schütz
25f4d9c8af seafile-client: 6.2.1 -> 6.2.2 2018-07-12 10:08:40 +02:00
volth
c583bfbf80 pythonPackages.cython: run tests in parallel (#43393) 2018-07-12 10:08:06 +02:00
Robert Schütz
2559d6eab6 seafile-shared: 6.2.1 -> 6.2.2 2018-07-12 10:07:32 +02:00
volth
0a18bec139 hspell: fix build when default perl is 5.26+ (#43359) 2018-07-12 09:16:48 +02:00
patternspandemic
6f24f61c8e ponyc: 0.23.0 -> 0.24.0 (#43392) 2018-07-12 09:15:00 +02:00
Alvar
28ca73bc7f geojson: 2.3.0 -> 2.4.0 (#43389) 2018-07-12 09:13:12 +02:00
Izorkin
4585ff1a9a zsh-command-time: 2017-05-09 -> 2018-04-30 2018-07-12 09:45:54 +03:00