Silvan Mosberger
d767c0c253
idris: Remove unneeded overrides
...
- The gmp issue has long been fixed and closed
- The preBuild thing was never used afaik, it works no problem without
it, especially since checks don't run (To get checks to work we'd have
to compile the libraries into idris, which are currently nicely
separated)
- The dependencies overrides aren't needed anymore
2018-07-13 00:59:30 +02: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
Izorkin
4d209dcb15
percona-xtrabackup: 2.4.9 -> 2.4.12
2018-07-12 16:08:13 +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