mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-12 15:47:28 +00:00
Code Issues Wiki Activity
110219 commits 197 branches 125 tags 8.3 GiB
Commit graph

18845 commits

Author SHA1 Message Date
Thomas Tuegel 9149faf6a9
prison: init at 5.33.0 2017-06-18 08:44:44 -05:00
Thomas Tuegel f5c00c43bb
qgpgme: init at 1.9.0 2017-06-18 08:44:44 -05:00
Thomas Tuegel c816bbc8a8
qt5: remove makeQtWrapper 2017-06-18 08:44:42 -05:00
Thomas Tuegel 870c07cc2b
sddm: take themes from system environment 2017-06-18 08:43:39 -05:00
Thomas Tuegel be7b7d908f
Remove kdeWrapper 2017-06-18 08:43:39 -05:00
Thomas Tuegel 7b6f8dc77f
qt5: move kdeDerivation to qt5.mkDerivation 2017-06-18 08:42:19 -05:00
Thomas Tuegel 210f688802
qt5: rename qmakeHook to qmake 2017-06-18 08:41:57 -05:00
Jörg Thalheim 08d25152b8
gdbGuile: mark as broken 
does not compile anymore since gdb 8.0
 2017-06-18 13:26:11 +01:00
Michiel Leenaars b4b698248f qstopmotion: init -> 2.3.2 2017-06-18 00:47:01 +02:00
Rushmore Mushambi e1ec8d9e9c Merge pull request #26658 from rushmorem/cockroach 
cockroachdb: beta-20160915 -> v1.0.2
 2017-06-18 00:46:24 +02:00
rushmorem ec65ef744b cockroachdb: beta-20160915 -> v1.0.2 2017-06-17 22:52:25 +02:00
Tim Steinbach 6b199db895 Merge pull request #26644 from NeQuissimus/gradle_4_0 
gradle: 3.5 -> 4.0
 2017-06-17 16:05:26 -04:00
Jörg Thalheim b40cda750b Merge pull request #26656 from volth/sbt-with-scala-native 
sbt: support scala-native
 2017-06-16 23:45:17 +01:00
Jörg Thalheim 61feffbe57 Merge pull request #26652 from ciil/ltris 
ltris: init at 1.0.19
 2017-06-16 23:30:00 +01:00
Jörg Thalheim c4037ee92b Merge pull request #26583 from mbbx6spp/init-ply-package 
ply: init at v1-beta1(9e810b1)
 2017-06-16 23:21:23 +01:00
Jos van den Oever 6ee183b7f2 musescore: 2.0.3 -> 2.1.0 2017-06-16 23:47:44 +02:00
Simon Lackerbauer e0c1c51d73 ltris: init at 1.0.19 2017-06-16 21:37:18 +02:00
Volth b1928704d4 sbt: support build scala-native targets 2017-06-16 15:52:13 +00:00
Tim Steinbach a4a0f30108
gradle: 3.5 -> 4.0 2017-06-16 08:29:08 -04:00
Alexey Shmalko b521296a4c Merge pull request #26575 from rnhmjoj/ddcutil 
ddcutil: init at 0.8.2
 2017-06-16 10:08:55 +03:00
Edward Tjörnhammar 0f9a2285b8
ezquake: init at 3.0.1 2017-06-15 08:37:24 +02:00
Vladimír Čunát 4ef8313bb6
aiccu: remove leftover from 3dcecf09fc 2017-06-15 07:54:50 +02:00
Susan Potter fdef885d97
ply: init at v1-beta1(9e810b1) 2017-06-14 17:41:42 -05:00
rnhmjoj 7ef9a9ffc1
ddcutil: init at 0.8.2 2017-06-15 00:32:26 +02:00
Profpatsch 79dd4deda5 Ultrastar (#26524) 
* ultrastardx-beta: init at 1.3.5

* libbass, libbass_fx: init at 24

* ultrastar-creator: init at 2017-04-12

* buildSupport/plugins.nix: add diffPlugins

Helper function to compare expected plugin lists to the found plugins.

* ultrastar-manager: init at 2017-05-24

The plugins are built in their own derivations, speeding up (re-)compilation.
The `diffPlugins` function from `beets` is reused to test for changes in the
plugin list on updates.

* beets: switch to diffPlugins

The function is basically just extracted for better reusability.
 2017-06-14 11:29:31 +02:00
Maximilian Bosch 3803864ca6 thefuck: init at 3.18 (#26529) 2017-06-14 09:57:38 +01:00
Charles Strahan 3b1c4fce4f psensor: init at 1.2.0 
psensor is a graphical hardware monitoring application for Linux
 2017-06-13 18:51:36 -04:00
Bas van Dijk 2444eab485 ELK: update kibana and the elastic beats to 5.4 (#26252) 
* Add kibana5 and logstash5
* Upgrade the elastic beats to 5.4
* Make sure all elastic products use the same version
  (see elk5Version)
* Add a test for the ELK stack
 2017-06-13 22:36:08 +02:00
David Guibert f03ee24754 gfortran7: added by wrapping gcc7 (#26535) 
thanks
 2017-06-13 21:46:37 +02:00
Peter Simons 14283b6a95 vcsh: update to latest Git head, enable test suite, install man page 2017-06-13 20:16:30 +02:00
Will Dietz ab9d244348 elfkickers: init at 3.1 2017-06-12 14:57:38 -05:00
Franz Pletz 934b72301e
libfann: init at 2.2.0 2017-06-12 17:44:43 +02:00
Daiderd Jordan 4010313ab9 Merge pull request #26381 from gleber/generalize-beam 
erlang: refactor to generalize Erlang/OTP derivations
 2017-06-11 20:35:07 +02:00
Daiderd Jordan a3317da9f9 Merge pull request #26275 from anderspapitto/rust-updates 
rust: 1.15.0 -> 1.17.0
 2017-06-11 17:59:11 +02:00
Vladimír Čunát 86da6d441f
lyx: maintenance 2.2.2 -> 2.2.3 
In particular, they claim some fixes related to Qt-5.8,
so I switched back to using the default Qt (=5.8 ATM).

Tested just briefly.
 2017-06-11 17:10:06 +02:00
Bjørn Forsman c95f3a36cd sdcc: 3.5.0 -> 3.6.0 
* requires texinfo
* --std=c99 unneeded, fixed upstream
* can build with nixpkgs default boost (v1.62), so let's do that
 2017-06-11 16:02:21 +02:00
Vladimír Čunát 32916ab1de
Merge older staging 
Enough rebuilds have finished on Hydra now.
 2017-06-11 09:01:08 +02:00
Anders Papitto 1e0866e064 rust: 1.15.0 -> 1.17.0 
Also updates beta, nightly, nightlyBin, and bootstrap compilers.
Also updates the registry.
Also consolidates logic between bootstrap and nightlyBin compilers.
Also contains some miscellaneous cleanups.
Also patches firefox to build with the newer cargo
 2017-06-10 15:15:50 -07:00
Tuomas Tynkkynen 73a1307a02 U-Boot: Add A20 OLinuXino Lime build 
Yet another Allwinner board working out-of-the-box, no surprises.
 2017-06-10 23:22:24 +03:00
Chris Hodapp a24960d214 autotrace: init at 0.31.1 
Add ApplicationServices for Darwin build

Clean up comments
 2017-06-10 12:08:54 -04:00
Jörg Thalheim 800d525ac4 Merge pull request #26349 from midchildan/tilix 
tilix: init at 1.5.8
 2017-06-10 10:31:08 +01:00
Jörg Thalheim b731e65081 arphic: init at 0.2.20080216.2 
arphic: init at 0.2.20080216.2
 2017-06-10 09:32:34 +01:00
Jörg Thalheim c1d05287d6 Merge pull request #26451 from oxij/pkg/up/exiftool 
perl: Image-ExifTool: 9.27 -> 10.48, add alias to all-packages.nix
 2017-06-10 09:28:08 +01:00
Jörg Thalheim 308acf3199 Merge pull request #26478 from Moredread/profanity_tray 
profanity: enable tray icon support
 2017-06-10 09:25:53 +01:00
Jörg Thalheim ea7aa3156c Merge pull request #26496 from romildo/fix.lxappearance 
lxappearance: add variant for Gtk+-3
 2017-06-10 09:11:51 +01:00
Vladimír Čunát cb9f953c92
Merge branch 'master' into staging 
More larger rebuilds.
 2017-06-10 10:07:33 +02:00
Michael Weiss d17bcfc5f0 androidenv: Manually update missing packages 
Improvement: Use nix-shell for fetch.sh

androidsdk{,_extras}:
- Update to 7.1.1

google_apis_25 is missing after fetch.sh due to an error in addon.xml
(upsteam bug).

Addons:
- Add google_apis_25
- Update google_play_services (v8_rc41 -> v11_rc16)
 2017-06-10 03:57:30 +02:00
Changlin Li 8237294f64 Add Unicode Arphic CJK fonts 
These are a couple of CJK fonts that are on most other Linux distributions
that aren't on NixOS
 2017-06-09 20:52:18 -04:00
Masayuki Takeda c2c775d047 rictydiminished-with-firacode: init at 0.0.1 (#26485) 2017-06-10 00:29:36 +01:00
romildo 11623c5fca lxappearance: add variant for Gtk+-3 
lxappearance supports both Gtk+-2 and Gtk+-3. The current `lxappearance'
package continues to be for Gtk+-2. Add `lxappearance-gtk3' for Gtk+-3.

A patch is needed in order to look for themes in system data dirs with
Gtk+-3.
 2017-06-09 18:05:09 -03:00
midchildan 54b23e605c
tilix: init at 1.6.1 2017-06-09 16:53:47 +09:00
midchildan 0f93270aba
gtkd: init at 3.6.5 2017-06-09 16:53:46 +09:00
Simon Lackerbauer 63e967a33a lbreakout2: init at 2.6.5 2017-06-09 09:25:28 +02:00
André-Patrick Bubel 55f0f9e1a4
profanity: enable tray icon support 
Profanity can show a tray icon, e.g. showing that messages were received.
This enables support for the feature.
 2017-06-08 22:55:42 +02:00
Jörg Thalheim ff139c49f7 Merge pull request #26438 from jgertm/jgertm/buck 
buck: init at v2017.05.31.01
 2017-06-08 21:27:33 +01:00
John Ericson 2f348884b8 Merge pull request #26471 from obsidiansystems/gcc7-no-cross-arg 
gcc 7: Remove `cross` arguments and don't use stdenv.is*
 2017-06-08 15:40:35 -04:00
Vladimír Čunát 2993b7e096
Merge branch 'master' into staging 
>10k of rebuilds from master
 2017-06-08 20:56:22 +02:00
John Ericson 7a13457253 gcc 7: Remove cross arguments and don't use stdenv.is* 
These changes were already done for the older GCCs, but 7 slipped
through the cracks.
 2017-06-08 14:08:31 -04:00
Rok Garbas a0afc4f0d1 firefox-*-bin: updates (#26462) 
* firefox-beta-bin: 51.0b8 -> 54.0b13

* firefox-devedition-bin: init at 54.0b14

Firefox DevEdition became a new product of Mozilla and is "repackaged"
Firefox Beta with its own release channel and six weeks release cycle as
other channels. It is no longer being built on nightly basis

* updated the update.nix script to facilitata firefox-devedition-bin

* disabling automatic updates by pointing to non existing channel

* f firefoxWrapper looks for gtk3 attribute to wrap the executable gtk3 to wrap the binary with needed ``XDG_DATA_DIRS``
 2017-06-08 15:33:24 +02:00
Gleb Peregud 96f4cac659 erlang: Move all BEAM packages into beam-packages. 
This applies to Erlang, Elixir and LFE packages.

beam-packages provides interpreters and packages sets separately. This
is in preparation of generalizing BEAM interpreters definitions.
 2017-06-08 11:28:44 +02:00
Josef Kemetmueller cce12a644c hdf4: Init at 4.2.12 2017-06-08 07:52:12 +00:00
Edward Tjörnhammar 44a9f37ba8
libretro: add parallel-n64 core 2017-06-07 23:31:20 +02:00
Vladimír Čunát ae6df000d0
Merge branch 'master' into staging 2017-06-07 18:11:27 +02:00
SLNOS c6df7ca5cf perl: Image-ExifTool: 9.27 -> 10.48, add alias to all-packages.nix 2017-06-07 12:00:57 +00:00
danbst e9da05ee8b zoom-us: init at 2.0.91373.0502 
Actually, reintroduce after removal (bb99babc5a)
and use bundled Qt.
 2017-06-07 12:01:01 +03:00
Tim Jäger 48c910611f buck: init at v2017.05.31.01 2017-06-06 22:46:02 -07:00
John Ericson 6518dffc02 Merge pull request #26388 from obsidiansystems/tools-cleanup-rote 
Tools cleanup rote
 2017-06-06 20:39:24 -04:00
Ross MacLeod e854685d65 gcc*: Remove cross argument and instead use hostPlatform and targetPlatform 2017-06-06 19:28:16 -04:00
John Ericson 200ac02d0f binutils: Modernize derivation 
No hashes of any sort should be changed
 2017-06-06 19:28:16 -04:00
Frederik Rietdijk 7e0251698b Merge remote-tracking branch 'upstream/master' into HEAD 2017-06-06 20:44:34 +02:00
Jörg Thalheim 85aa14fa37
rssguard: use fetchgit; wrapGAppsHook 2017-06-06 06:34:29 +01:00
Jaakko Luttinen fe53a6c17c
rssguard: init at 3.4.0 2017-06-05 21:14:29 +03:00
Edward Tjörnhammar 677f194a10
kodiPlugins.steam-controller: init at 0.9.0 2017-06-05 17:19:12 +02:00
Edward Tjörnhammar fe0b858113
kodiPlugins.joystick: init at 1.3.6 2017-06-05 17:17:57 +02:00
Edward Tjörnhammar 4f410bfc8d
kodiPlugins.advanced-emulator-launcher: init at 0.9.6 2017-06-05 17:17:57 +02:00
Edward Tjörnhammar 513e66e310
kodiPlugins: move build funs to common 2017-06-05 17:17:57 +02:00
Frederik Rietdijk 7578940392 Merge remote-tracking branch 'upstream/master' into HEAD 2017-06-05 12:46:08 +02:00
Daiderd Jordan 30f329e74b Merge pull request #26310 from LnL7/darwin-stdenv-no-sphinx 
darwin-stdenv: remove python dependencies
 2017-06-05 12:44:07 +02:00
Gabriel Ebner c1dd378b58 Merge pull request #26390 from asppsa/emscripten-binaryen 
emscripten: add binaryen support
 2017-06-05 09:30:51 +02:00
Jaka Hudoklin 305e7deb0d Merge pull request #26362 from benley/dex-2.4.1 
dex: init at 2.4.1
 2017-06-05 00:56:34 +02:00
Edward Tjörnhammar beb04aabac
libretro.dolphin: init at 2017-06-04 2017-06-04 21:11:14 +02:00
Pascal Wittmann 2c84e814e8
randoop: init at 3.1.5 2017-06-04 17:19:23 +02:00
Alastair Pharo a8c48bb68b binaryen: add package 2017-06-04 13:49:46 +10:00
Nikolay Amiantov 0011f9065a Merge pull request #26152 from abbradar/wine-reorder 
wine: reorganize packages
 2017-06-04 00:58:42 +03:00
Nikolay Amiantov e7530e6a5a wine: reorganize packages 
Move most of wine configurations to winePackages which is not built on Hydra.
Leave two top-level packages:

wine: stable release with an "office" configuration;
wineStaging: staging release with a "full" configuration.
 2017-06-04 00:57:45 +03:00
Benjamin Staffin d007428621
dex: init at 2.4.1 
There is already another thing called "dex" that manipulates .desktop
files, so I called this one "dex-oidc" in all-packages.nix.
 2017-06-03 17:43:36 -04:00
Nikolay Amiantov 0dc5473730 gcc7: init at 7.1.0 2017-06-04 00:38:30 +03:00
Volth ede0d138fd half: init at 1.12.0 2017-06-03 13:53:24 +00:00
Jörg Thalheim 88164c77e8 Merge pull request #26235 from apeyroux/init-ctop 
ctop: init at 2017-05-28
 2017-06-03 12:37:39 +01:00
Bastian Köcher fcf6989c92 inspectrum: unstable-2017-02-18 -> unstable-2017-05-31 (#26284) 
* Upgrades Inspectrum to new version to work with QT5.8

* inspectrum: also increment version number
 2017-06-03 12:30:40 +01:00
Francois-Rene Rideau 7cbdb10576 gerbil: init at 0.10 2017-06-03 12:08:49 +01:00
Jörg Thalheim 7a0bce8422 Merge pull request #26331 from orivej/libnetfilter_log 
libnetfilter_log: init at 1.0.1
 2017-06-02 21:31:24 +01:00
Kjartan Ovmilk 2bd5c13af5
resilio-sync: init at 2.5.2 2017-06-02 21:24:42 +01:00
Orivej Desh 48c9e09190 libnetfilter_log: init at 1.0.1 2017-06-02 16:10:23 +00:00
Graham Christensen 49bc01682e Merge pull request #26262 from holidaycheck/nodejs-8.0.0 
nodejs: init at 8.0.0
 2017-06-02 11:05:26 -04:00
Frederik Rietdijk 1fe17ee116 Merge pull request #26316 from rnhmjoj/pirate-get 
pirate-get: 0.2.9 -> 0.2.10
 2017-06-02 09:37:07 +02:00
rnhmjoj ceedd0b04a
pirate-get: 0.2.9 -> 0.2.10 2017-06-02 00:36:59 +02:00
Daiderd Jordan 9e2aba3572
darwin-stdenv: remove python-sphinx and a bunch of other dependencies from the stdenv 2017-06-01 23:23:56 +02:00
Pascal Wittmann 08228e8bfa
nagstamon: init at 2.0.1 2017-06-01 19:32:06 +02:00
Peter Hoeg ef77b61f75 kwalletcli: init at 3.00 2017-06-01 19:11:30 +08:00
Peter Simons e25ab373db wiggle: initial version 1.0 
Wiggle is a tool for applying patches with conflicts.
 2017-05-31 14:12:06 +02:00
Peter Hoeg 102a85a486 Merge pull request #26260 from diegs/terraform 
terraform: 0.9.4 -> 0.9.6.
 2017-05-31 11:14:27 +08:00
Gabriel Gonzalez 0dd5e832f0 kati: init at 2017-05-23 (#26168) 2017-05-31 02:16:16 +02:00
Albert Peschar 47d038c21d elasticsearch: add 5.x package, service 2017-05-31 02:06:29 +02:00
Diego Pontoriero 6a27b46dee
terraform: 0.9.4 -> 0.9.6. 2017-05-30 13:54:45 -07:00
Mathias Schreck b67d01a0e9 nodejs: init at 8.0.0 2017-05-30 22:39:43 +02:00
Théo Zimmermann f8fd5531a3 patdiff: init at 0.9.0 2017-05-30 20:50:36 +02:00
Vladimír Čunát 538aa0f808
Merge branch 'staging' (early part) 
The comparison looks nice on Hydra.
 2017-05-30 16:08:21 +02:00
Alexandre Peyroux 31d5363228
ctop: init at 2017-05-28 2017-05-30 13:10:45 +02:00
Frederik Rietdijk ccafbacd8f Merge pull request #26215 from dermetfan/mcrcon 
mcrcon: init at 0.0.5
 2017-05-30 09:03:47 +02:00
Frederik Rietdijk 89a32f4586 Merge pull request #26124 from womfoo/init/cloudmonkey-5.3.3 
cloudmonkey: init at 5.3.3 with related dependency argcomplete: init at 1.8.2
 2017-05-30 08:43:05 +02:00
Robin Stumm 75a94a5a28 mcrcon: init at 0.0.5 2017-05-29 22:46:23 +02:00
Kranium Gikos Mendoza 4126cc18be cloudmonkey: init at 5.3.3 2017-05-30 06:37:19 +10:00
Matthias Beyer 97eddf0907 vimer: init at 0.2.0 2017-05-29 23:02:11 +03:00
Vladimír Čunát 02032dbda4
Merge branch 'master' into staging 
More mass rebuilds from master.
 2017-05-29 10:51:38 +02:00
Jörg Thalheim b34f33665f Merge pull request #26179 from veprbl/cernlib 
cernlib: init at 2006
 2017-05-29 08:14:30 +01:00
Dmitry Kalinkin 6e95e2a161
cernlib: init at 2006 2017-05-28 18:51:16 -04:00
Léo Gaspard 4a0c7d1b2d dkimproxy: init at 1.4.1 (#26147) 
* dkimproxy: init at 1.4.1

* dkimproxy: simplify by using mkDerivation

* dkimproxy: set ekleog as maintainer

* dkimproxy: style fix

* dkimproxy: also work without the right PERL5LIB environment variable
 2017-05-28 23:25:29 +01:00
Anderson Torres 815ad7c549 Galaxis: init at 1.9 (#26185) 
* Galaxis: init at 1.9

* galaxis: nitpicks
 2017-05-28 19:59:36 +01:00
Marius Bergmann 6ecb92a3c3 cfssl: init at 20170527 2017-05-28 18:43:04 +02:00
Jörg Thalheim 801adf99c2 Merge pull request #26158 from montag451/simpleproxy 
simpleproxy: init at 3.5
 2017-05-27 18:54:19 +01:00
montag451 6de69a2425 simpleproxy: init at 3.5 2017-05-27 17:42:48 +02:00
Frederik Rietdijk 77b7fca588 Merge remote-tracking branch 'upstream/master' into HEAD 2017-05-27 14:28:05 +02:00
Pascal Wittmann f717118610
fsql: init at 0.1.0 2017-05-27 11:50:47 +02:00
Vladimír Čunát 76a020e676
Merge branch 'master' into staging 2017-05-27 11:11:44 +02:00
Vladimír Čunát b4bb39642e
libdrm: support valgrind suppression via a lighter version 
Fixes #25917.  It's all only about build-time dependency bloat and
consequent rebuild propagation.
 2017-05-27 11:08:23 +02:00
Franz Pletz 8ab0501865 Merge pull request #25565 from KaiHa/nitrokey-app-1.0 
nitrokey-app: 0.6.3 -> 1.1
 2017-05-27 02:43:22 +02:00
Vladimír Čunát 00672dec8a
Merge older staging 
This still causes some uncached rebuilds, but master(!) and staging
move too fast forward rebuild-wise, so Hydra might never catch up.
(There are also other occasional problems.)
Therefore I merge at this point where the rebuild isn't that bad.
 2017-05-26 15:45:43 +02:00
Volth b7ccf27229 rename webkitgtk24x -> webkitgtk24x-gtk3; webkitgtk2 -> webkitgtk24x-gtk2 2017-05-26 13:43:25 +00:00
Volth 3de90b259c webkitgtk: 2.14.11 -> 2.16.3 2017-05-26 16:20:54 +03:00
Nicolas Mattia da192f2741 stutter: init at 0.1.0.1 
This adds the stutter string generator to all-packages and update the
hackage indices for dependencies.
 2017-05-26 09:15:55 +01:00
Franz Pletz 5e4a797888
nitrokey-udev-rules: init 2017-05-26 00:47:46 +02:00
Jaka Hudoklin fe891e7e10 Merge pull request #25989 from frontsideair/flow-46 
flow: 0.42.0 -> 0.46.0
 2017-05-25 01:17:56 +02:00
Dejan Lukan d4372617d0 loadlibrary: init at 721b08 2017-05-25 00:41:12 +02:00
Franz Pletz dd22335c3b Merge pull request #25680 from gnidorah/master2 
openmpt123: don't build pulseaudio driver, libao: build both pulse and alsa drivers
 2017-05-24 22:20:00 +02:00
Frederik Rietdijk 4f6dde2494 Merge pull request #26044 from aneeshusa/update-pgcli-to-1.5.1 
Update pgcli to 1.5.1
 2017-05-24 21:24:30 +02:00
Aneesh Agrawal 473189e8e0 pgcli: 1.3.1 -> 1.5.1 2017-05-24 15:20:36 -04:00
Vladimír Čunát 8004e79415
Merge branch 'master' into staging 2017-05-24 03:24:06 +02:00
Tuomas Tynkkynen e6cb889faa esptool: init at 1.4 2017-05-24 02:47:46 +03:00
Tuomas Tynkkynen ff15d0c41e esptool-ck: init at 0.4.11 2017-05-24 02:47:41 +03:00
Nikolay Amiantov 95f321480f wine: add udev support 2017-05-24 02:26:53 +03:00
Profpatsch 178a5067af hledger(-web): move to all-packages with static build 
Since they are executables they should be at top-level.
We build statically to shorten invocation time (at the moment haskell packages
have the problem of too large RPATHs).
 2017-05-23 01:59:10 +02:00
John Ericson c3b2c5bf77 Merge pull request #25997 from obsidiansystems/isHurd 
stdenv: Rename `isGNU` to `isHurd` as GNU is a userland
 2017-05-22 19:02:49 -04:00
Jörg Thalheim c42739a429
wllvm: init at 1.1.3 2017-05-22 22:46:23 +01:00
Carles Pagès f60767d55e Merge pull request #25366 from titanous/kodi-hdhomerun 
kodi: add pvr-hdhomerun plugin
 2017-05-22 23:32:07 +02:00
Jörg Thalheim 893c7b6112
cryptominisat: init at 5.0.1 2017-05-22 22:25:14 +01:00
Jörg Thalheim 7786922240
minisatUnstable: init at 2013-09-25 2017-05-22 22:24:58 +01:00
John Ericson c443033be3 gdb: Modernize and simplify derivation 
- `isGNU` to `isHurd`, my sedding did not catch
 - Simplify cross compilation in general
 - Be more careful about python
 - no more `gdbCross` in all-packages
 2017-05-22 17:10:29 -04:00
John Ericson 0d88299019 Merge pull request #25976 from obsidiansystems/no-stdenv-is 
Add `*Platform.is*` predicates and alias `stdenv.is*` to `hostPlatform`'s
 2017-05-22 13:30:20 -04:00
Arseniy Seroka 37c89aaaa7 Merge pull request #25826 from Zimmi48/patch-1 
coqPackages: default version 8.4pl6 -> 8.6
 2017-05-22 20:06:31 +03:00