Will Dietz
6ff8685057
yices: fix symlink to match version of package
...
To help avoid this happening again, derive the string to use
from the version directly instead of embedding it in installPhase.
2018-07-12 18:46:28 -05:00
Will Dietz
c78b0efdc0
Merge pull request #43441 from dtzWill/update/libpoly-but-really-just-cleanup-a-bit
...
libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern style
2018-07-12 17:58:07 -05:00
Will Dietz
df5107771d
Merge pull request #43443 from dtzWill/feature/gtkperf
...
gtkperf: init at 0.40.0
2018-07-12 17:48:35 -05:00
Will Dietz
86a98dc982
Merge pull request #43438 from dtzWill/feature/xscope
...
xscope: init at 1.4.1
2018-07-12 17:46:56 -05:00
Will Dietz
026b88d54f
gtkperf: Add test selection patch from phoronix/openbenchmarking
...
Patch seems to not change default functionality, always use.
2018-07-12 17:35:51 -05:00
Will Dietz
22c94d366f
gtkperf: init at 0.40(.0)
2018-07-12 17:35:19 -05:00
Will Dietz
d3a595f190
libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern style
2018-07-12 17:06:57 -05:00
Vincent Laporte
ca12adfeaf
flow: use lwt_log
2018-07-12 21:26:07 +00:00
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