Commit Graph
152212 Commits
Author SHA1 Message Date
rembo10 d01a0a53ad paper-icon-theme: 2017-11-20 -> 2018-06-24 (#43419) 2018-07-13 02:04:19 +02:00
Will Dietz 237c8f4148 yices: simplify ln command 2018-07-12 18:52:10 -05:00
Edmund Wu 4d1900ac6e glava: adjust syntax in patchelf command 2018-07-12 19:50:14 -04:00
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
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
Pascal Wittmann 60a9ea4015 accountsservice: 0.6.49 -> 0.6.50 2018-07-12 21:44:35 +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 4f8ec6fc56 Merge pull request #43423 from dtzWill/fix/openblas-threads-crash
openblas: "backport" another patch, fix crash w/Go and Octave
2018-07-12 13:07:53 -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 1b3d8eefe3 openblas: backport another patch, fix crash w/Go and Octave
Also fixes numpy crashing during tests w/musl.
2018-07-12 12:03:26 -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
rembo10 c84e668109 nixos/lightdm-gtk-greeter: svg icon support 2018-07-12 18:20:07 +03: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