public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
146,429 Commits 1 Branch 0 Tags
Commit Graph

146429 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Will Dietz
946a65ca5c yices: use lib.splitString, not everyone has builtins.splitVersion 2018-07-12 19:11:06 -05:00
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
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