Commit Graph

94162 Commits

Author SHA1 Message Date
Armijn Hemel
87262e6196 samba: 4.6.3 -> 4.6.4 2017-05-25 00:46:07 +02:00
Dejan Lukan
d4372617d0 loadlibrary: init at 721b08 2017-05-25 00:41:12 +02:00
Franz Pletz
a74c43aa8d
pcsclite: 1.8.20 -> 1.8.21 2017-05-24 23:53:49 +02:00
Franz Pletz
bfa438eded
ccid: 1.4.26 -> 1.4.27 2017-05-24 23:53:46 +02:00
Joachim F
9f187a6919 Merge pull request #26071 from romildo/upd.enlightenment
enlightenment: 0.21.7 -> 0.21.8
2017-05-24 22:25:13 +01:00
José Romildo Malaquias
ce248ef4ce efl: 1.19.0 -> 1.19.1 (#26027) 2017-05-24 22:24:55 +01: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
romildo
b4dad912b0 enlightenment: 0.21.7 -> 0.21.8 2017-05-24 17:01:45 -03: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
Mathias Schreck
4abefec367 nodejs-7_x: 7.9.0 -> 7.10.0 2017-05-24 21:11:05 +02:00
Bastian Köcher
179c504a66 lxd: 2.0.2 -> 2.12 (#25685)
* Upgrades lxd to version 2.12

* Adds missing packages to path for lxd
2017-05-24 19:29:38 +01:00
Eelco Dolstra
dc4e2cd70f Merge pull request #26062 from cleverca22/libredirect
libredirect: allow null paths
2017-05-24 18:09:55 +02:00
Franz Pletz
601d8c3f09 Merge pull request #26064 from mateon1/pr/update-ipfs
ipfs: 0.4.6 -> 0.4.9
2017-05-24 17:52:17 +02:00
Peter Simons
503ec213a2 hackage-packages.nix: automatic Haskell package set update
This update was generated by hackage2nix v2.2.1-7-g2ed2e10 from Hackage revision
df52ffabd0.
2017-05-24 17:37:59 +02:00
Peter Simons
47fa2a1ebb LTS Haskell 8.15 2017-05-24 17:37:47 +02:00
Jamie Rolfs
1a8779eb34
yarn: 0.23.4 -> 0.24.6 2017-05-24 07:54:22 -07:00
Mikael Brockman
4b4226ab4a ethabi: add cli feature
This flag makes the CLI binary do anything at all, and without it
the package is completely useless.
2017-05-24 17:52:07 +03:00
Mateusz Naściszewski
00572d595c
ipfs: 0.4.6 -> 0.4.9 2017-05-24 16:31:17 +02:00
Bastian Köcher
028f259ce2 Updates Yakuake to version 3.0.3 and exposes the .desktop 2017-05-24 16:30:34 +02:00
michael bishop
5677ce2008
libredirect: allow null paths 2017-05-24 11:29:06 -03:00
Masayuki Takeda
65477dcd34 Python fetchPypi: support an extension
Many source archives on PyPI are tar.gz archives.
Not all are, and therefore this commit adds the possibility
to set the extension of the archive.
2017-05-24 16:00:22 +02:00
Jaka Hudoklin
812e8ed1b5 Merge pull request #26006 from benley/helm-completion
kubernetes-helm: Enable bash and zsh completion
2017-05-24 15:45:51 +02:00
Eelco Dolstra
8a07319e7f
ixgbevf: 4.0.3 -> 4.1.2
This fixes

  error: assertion failed at /home/eelco/Dev/nixpkgs-stable/pkgs/os-specific/linux/ixgbevf/default.nix:3:1
  (use ‘--show-trace’ to show detailed location information)

deploying a >=4.10 kernel to EC2. (We could probably also drop the
ixgbevf package with recent kernels, since the ixgbevf module included
in the kernel source tree is recent enough according to Amazon's
recommendation.)
2017-05-24 14:51:39 +02:00
Vladimír Čunát
b7fed33057
python-3.3: fixup evaluation after #25916 2017-05-24 14:09:14 +02:00
Vladimír Čunát
78ea189a6b
Merge branch 'master' into staging
... to fix *some* of the evaluation problems.
2017-05-24 13:56:28 +02:00
Dan Peebles
c05461fde6 pants13-pre: make it actually work on Linux
Third time's a charm. Not sure how I thought that three different files
would download and have the same hash, but that's what the old code did.
This one should have the three distinct platform hashes.
2017-05-24 07:52:58 -04:00
Tim Steinbach
997f9d678e
ammonite: 0.9.1 -> 0.9.3 2017-05-24 07:41:59 -04:00
Franz Pletz
760248360c Merge pull request #26050 from sigma/pr/go-1.8.2
go: 1.8.1 -> 1.8.2
2017-05-24 12:53:19 +02:00
Guillaume Maudoux
dacfe8109e cups_filters: 1.11.1 -> 1.14.0 2017-05-24 12:51:24 +02:00
Franz Pletz
d69c2968a2 Merge pull request #26003 from bachp/gitlab-runner-update
Gitlab runner update
2017-05-24 12:50:32 +02:00
zimbatm
4f6ab299a0 gitlab-runner: 9.1.0 -> 9.2.0 2017-05-24 11:19:52 +01:00
Yann Hodique
ccfc81397b go: 1.8.1 -> 1.8.2 2017-05-24 01:30:39 -07:00
Yann Hodique
a69ae2c7f9 go: 1.7.5 -> 1.7.6 2017-05-24 01:18:56 -07:00
Peter Hoeg
8fd2f022f0 kodi: 17.1 -> 17.2 2017-05-24 16:03:25 +08:00
Jörg Thalheim
cf3d531531
pythonPackages.feedgenerator: add missing directory
fixes #26045
2017-05-24 07:17:06 +01:00
Peter Hoeg
4e2b190d52 vlc: 2.2.4 -> 2.2.5.1
Fixes a nasty vulnerability caused by broken subtitle handling:

http://blog.checkpoint.com/2017/05/23/hacked-in-translation/
2017-05-24 13:08:40 +08:00
Dan Peebles
a43e104ada pants13-pre: fix on non-Darwin platforms 2017-05-24 00:05:20 -04:00
Peter Hoeg
4e704b144a ffmpeg: incorrectly updated sha sums broke the build 2017-05-24 11:55:25 +08:00
Cray Elliott
dc12cd1cae ffmpeg: fix sha256 hash for 3.3.1
ffmpeg-full uses the .xz source release while ffmpeg uses .bz2 so hashes
cannot be shared between them
2017-05-23 20:46:10 -07:00
Aneesh Agrawal
5795680fed pythonPackages.pgspecial: 1.6.0 -> 1.7.0 2017-05-23 23:43:45 -04:00
Daniel Peebles
454041a557 Merge pull request #26040 from joachifm/lkl
lkl: d747073 -> 2017-03-24
2017-05-23 23:17:52 -04:00
Dan Peebles
b0adb09b32 pants13-pre: pre-download the native engine
This saves pants 1.3 from having to download it at startup. Eventually
we'll build it ourselves (it's a rust binary) but for now this works.
2017-05-23 22:29:33 -04:00
Vladimír Čunát
8004e79415
Merge branch 'master' into staging 2017-05-24 03:24:06 +02:00
Cray Elliott
39e042fd64 ffmpeg: 3.3 -> 3.3.1
ffmpeg-full: 3.3 -> 3.3.1
2017-05-23 18:17:53 -07: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
Thomas Tuegel
b7290d3af5
spotify: 1.0.53.758 -> 1.0.55.487 2017-05-23 18:41:47 -05:00
Nikolay Amiantov
46a2da8766 wine: use gstreamer-1.0 2017-05-24 02:27:05 +03:00
Nikolay Amiantov
2d1e5e87db wine: fix libva support 2017-05-24 02:27:01 +03:00
Nikolay Amiantov
bf230536e0 wineStaging: fix patching in nix-shell 2017-05-24 02:26:57 +03:00
Nikolay Amiantov
95f321480f wine: add udev support 2017-05-24 02:26:53 +03:00
Jaka Hudoklin
118cbadb31 Merge pull request #26005 from benley/kops-1.6.0
kops: 1.4.0 -> 1.6.0
2017-05-24 01:17:05 +02:00
Joachim Fasting
49ecd62c08
lkl: split outputs
Breaking out lib allows users to link against lkl without pulling the
kitchen sink into their closure.
2017-05-24 01:07:26 +02:00
Joachim Fasting
e0b623a56d
lkl: break description into longDescription and a briefer descr 2017-05-24 01:07:24 +02:00
Joachim Fasting
8c8f40a128
lkl: d747073 -> 2017-03-24
- Moves to a more recent kernel (4.10, I think ...)
- API break re the previous version
- cptofs: fix root directory copy
- add support for disks with custom ops
- add LKL_HIJACK_NET_QDISC to configure qdisc policy
- add LKL_HIJACK_SYSCTL to configure sysctl values
2017-05-24 01:07:23 +02:00
Joachim Fasting
e983d4306e
lkl: bc & python are native build inputs 2017-05-24 01:07:22 +02:00
Joachim Fasting
e845495edb
lkl: add meta.homepage 2017-05-24 01:07:14 +02:00
Jörg Thalheim
4fecdceec2 Merge pull request #26024 from Mic92/llvm-config-3.4
llvmPackages_34.llvm: fix output of llvm-config
2017-05-24 00:04:13 +01:00
Jörg Thalheim
7bb98bb02c Merge pull request #26030 from dtzWill/update/pelican
update pelican, feedgenerator
2017-05-23 22:38:58 +01:00
Jörg Thalheim
bfc9420b7f
feedgenerator: move to external file 2017-05-23 22:37:43 +01:00
Daniel Peebles
ec117f761f Merge pull request #26034 from veprbl/nixpatches
nixStable: remove old patches
2017-05-23 17:33:31 -04:00
Dmitry Kalinkin
467a91d9ee
nixStable: remove old patches
773313591f
ad9e6037a4
2017-05-23 17:32:30 -04:00
sternenseemann
f9af11e462 jackline: 2016-11-17 -> 2017-03-30 2017-05-23 23:13:40 +02:00
Jörg Thalheim
3e9f7bcb98
pythonPackages.pelican: move to external file 2017-05-23 22:09:07 +01:00
Pascal Bach
335865b943 gitlab-runner, gitlab-runner_1_11: change path fix patch to work on non NixOS
It now tries to find the shell via path first and then falls back to the original
behavior.
2017-05-23 22:34:22 +02:00
Benjamin Staffin
3cf55f070d
kops: enable bash and zsh completion 2017-05-23 16:14:15 -04:00
Will Dietz
330dee016d python.pelican: 3.6.3 -> 3.7.1, enable tests 2017-05-23 14:35:10 -05:00
Will Dietz
9ede2d15aa python.feedgenerator: 1.7 -> 1.9 2017-05-23 14:34:49 -05:00
Jörg Thalheim
4c4f50ce76
llvmPackages_34.llvm: fix output of llvm-config
now llvm-config --libnames and llvm-config --libfiles output the proper
files.
2017-05-23 18:38:44 +01:00
Armijn Hemel
81319583bc freeciv: 2.5.6 -> 2.5.7 2017-05-23 17:21:33 +04:00
Tim Steinbach
2bd3010ba1 Merge pull request #26016 from NeQuissimus/ammonite_0_9_1
ammonite: 0.9.0 -> 0.9.1
2017-05-23 07:50:11 -04:00
Tim Steinbach
347cb0b4f7
ammonite: 0.9.0 -> 0.9.1 2017-05-23 07:49:33 -04:00
Robin Gloster
b0e2c66345
sslscan: 1.11.8 -> 1.11.10 2017-05-23 13:48:01 +02:00
Robin Gloster
c5090b4de6
tux: 2.3 -> 2.5 2017-05-23 13:40:17 +02:00
Robin Gloster
ece9d8867b
wireshark: 2.2.5 -> 2.2.6 2017-05-23 13:26:50 +02:00
Robin Gloster
457600044c
uwsgi: 2.0.14 -> 2.0.15 2017-05-23 13:06:51 +02:00
Robin Gloster
c66c53a132
youtube-dl: 2017.04.28 -> 2017.05.23 2017-05-23 12:18:06 +02:00
Robin Gloster
39e6ad6799
zsh-syntax-highlighting: 0.4.1 -> 0.5.0 2017-05-23 12:18:05 +02:00
Robin Gloster
d50c716162
zsh-completions: 0.18.0 -> 0.25.0 2017-05-23 12:18:05 +02:00
Robin Gloster
ca2f31a56c
zsh-autosuggestions: 0.3.3 -> 0.4.0 2017-05-23 12:18:05 +02:00
Peter Hoeg
5b45342832 virtmanager-qt: 0.43.70 -> 0.43.70.2 2017-05-23 17:54:20 +08:00
Robin Gloster
4a83c099e1
nginx: 1.10.3 -> 1.12.0 2017-05-23 11:37:57 +02:00
Robin Gloster
4f51da2ff7
nginx-rtmp-module: 1.1.9 -> 1.1.11 2017-05-23 11:37:57 +02:00
Peter Hoeg
b1b5c66fbc grc: 1.11 -> 1.11.1 2017-05-23 17:32:09 +08:00
Peter Simons
cb838cad5c all-cabal-hashes: update to latest version of Hackage 2017-05-23 10:38:12 +02:00
Jörg Thalheim
cadcbb468f Merge pull request #25994 from sigma/pr/hugo-0.21
hugo: 0.20.6 -> 0.21
2017-05-23 09:11:13 +01:00
Benno Fünfstück
19d3cf81d3 rust: fix fetch-cargo-deps for git dependencies
We need to make sure that `$revs` ends with a space, since files must always
end with newlines. The previous code ignored the last entry in `$revs`, because
read already returns non-zero exit code for the last entry, as it does not end
with a space.
2017-05-23 10:01:33 +02:00
Alexandre Peyroux
3dc0792ec6 c14: 2016-09-09 -> 2017-20-05 (#25948)
* c14: c14-cli-2016-09-09 -> c14-cli-2017-20-05

* c14: update with go2nix

* c14: switch back to fetchFromGitHub
2017-05-23 08:45:18 +01:00
John Ericson
b1d2f410c7 Merge pull request #26013 from obsidiansystems/release-cross
release-cross: Be less absurd in `ensureUnaffected` tests
2017-05-23 01:55:27 -04:00
John Ericson
df081787ee release-cross: Be less absurd in ensureUnaffected tests
We need to at least used a valid 4-part LLVM target "triple" and
libc.
2017-05-23 01:44:27 -04:00
John Ericson
8a423c3a90 Merge pull request #26012 from Ericson2314/gdb-fix
gdb: s/target/tagetPlatform
2017-05-23 01:36:09 -04:00
John Ericson
56b7f9b94d gdb: s/target/tagetPlatform
Oops, missed this when cleaning up derivation recently
2017-05-23 01:18:12 -04:00
Samuel Leathers
fdbcee03fe minisat: fix maintainer 2017-05-22 23:55:05 -04:00
Robin Gloster
38625a8b1e
ibus: 1.5.14 -> 1.5.16
Changed emoji handling in ibus requires some new static files
2017-05-23 04:09:48 +02:00
Robin Gloster
dff06b9ddc
aj-snapshot: 0.9.6 -> 0.9.7 2017-05-23 03:00:28 +02:00
Robin Gloster
1027d34aaa
aide: 0.16.a2 -> 0.16 2017-05-23 02:57:32 +02:00
Robin Gloster
17a7ea7992
aha: 0.4.10.2 -> 0.4.10.6 2017-05-23 02:52:41 +02:00
Robin Gloster
e22673aa36
aescrypt: 3.0.9 -> 3.13 2017-05-23 02:45:21 +02:00
Robin Gloster
3e60c2e2f6
aeolus: 0.9.0 -> 0.9.5 2017-05-23 02:36:59 +02:00
Robin Gloster
f8b0a25983
acpid: 2.0.27 -> 2.0.28 2017-05-23 02:32:39 +02:00
Robin Gloster
427e749217
pythonPackages.pants: remove warning
this breaks evaluation of nixpkgs.tarball

cc @copumpkin
2017-05-23 02:27:35 +02: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
Benjamin Staffin
70f8f7ec0a
kubernetes-helm: Enable bash and zsh completion 2017-05-22 19:14:37 -04:00
Benjamin Staffin
964027aaa1
kops: 1.4.0 -> 1.6.0 2017-05-22 19:06:37 -04: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
John Ericson
fedcda6cda zpaqd: Modernize derivation
- Simplified platform-specific options
 - Almost ready for cross-compilation
2017-05-22 18:52:50 -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
Pascal Bach
86e714095c gitlab-runner: 9.1.0 -> 9.2.0 2017-05-22 23:26:53 +02:00
Pascal Bach
aea157a1ec gitlab-runner_1_11: 1.11.2 -> 1.11.4 2017-05-22 23:26:39 +02:00
Pascal Bach
da6f5e3b77 gitlab-runner: add patch for shell from v1 to latest version 2017-05-22 23:26:15 +02:00
Jörg Thalheim
2549be898d
stp: 2014.01.07 -> 2.2.0 2017-05-22 22:25:45 +01: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
Jörg Thalheim
297506d563
vimPlugins.ack-vim: init at 2017-05-07 2017-05-22 22:21:44 +01:00
Jörg Thalheim
4e404c5a70
vimPlugins: update sources 2017-05-22 22:20: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
Dan Peebles
9d5c28d22c pants: fix buggy pathspec version
When transplanting the expression in 845d1b28bf
I accidentally switched pants 1.3 to use the old pathspec, which breaks
at runtime. This should fix it.
2017-05-22 15:34:46 -04:00
John Ericson
eaa509f33a stdenv: Rename isGNU to isHurd as GNU is a userland
Elsewhere, things called GNU indeed includes GNU/Linux or GNU/Hurd, but this
predicate was defined excluding Linux regardless of userland.
2017-05-22 13:55:26 -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
Arseniy Seroka
2ddcec9885 Merge pull request #25845 from sheganinans/master
UrWeb 20160621 -> 20170105
2017-05-22 20:05:46 +03:00
Arseniy Seroka
c734781158 Merge pull request #25958 from Mic92/iwd
iwd: init at unstable-2017-04-21
2017-05-22 20:04:04 +03:00
Arseniy Seroka
1ab1d2b4e5 Merge pull request #25979 from AndersonTorres/vms-empire
vms-empire: init at 1.14
2017-05-22 20:02:52 +03:00
Arseniy Seroka
9e392dd7ac Merge pull request #25967 from NeQuissimus/coursier_1_0_0_rc3
coursier: 1.0.0-RC2 -> 1.0.0-RC3
2017-05-22 20:02:26 +03:00
Arseniy Seroka
dd10788280 Merge pull request #25972 from AndersonTorres/robotfindskitten
robotfindskitten: init at 2.7182818.701
2017-05-22 20:02:05 +03:00
Brendan Miller
b737ddd65d pants13-pre: 1.3.0.dev19 -> 1.3.0rc2
Pulling in the latest 1.3.0 release candidate from pants.
2017-05-22 12:31:27 -04:00
Dan Peebles
845d1b28bf pants{,13-pre}: move from pythonPackages to top level
That means it'll build in Hydra and we don't really care which version of
Python it builds against.
2017-05-22 12:22:13 -04:00
Tim Steinbach
aa73b7df30
linux: 4.12-rc1 -> 4.12-rc2 2017-05-22 11:40:04 -04:00
Franz Pletz
933ab0cd5b Merge pull request #25973 from gentoofreak/feature/libopus-1.1.4
libopus: 1.1.3 -> 1.1.4
2017-05-22 17:19:19 +02:00
Yann Hodique
05f5a91ac8 hugo: 0.20.6 -> 0.21 2017-05-22 08:18:09 -07:00
Frederik Rietdijk
a2598e4ca1 Merge pull request #23024 from phile314/cloud-init-update
cloud-init: 0.7.6 -> 0.7.9 + module improvements
2017-05-22 16:33:31 +02:00
Domen Kožar
5e75c73559
nixopsUnstable: 2017-05-15 -> 2017-05-22 2017-05-22 15:52:50 +02:00
Fatih Altinok
27dc2c4926 flow: 0.42.0 -> 0.46.0 2017-05-22 15:49:30 +03:00
Eelco Dolstra
3b44cd731c
aws-sdk-cpp: 1.0.60 -> 1.0.127 2017-05-22 14:36:20 +02:00
Cray Elliott
c0bc3c80c8 eternity-engine: 3.40.46 -> 3.42.02
also cleaned up considerably, this was the first nix file I ever wrote!
2017-05-22 04:37:39 -07:00
Cray Elliott
6c7b2081a7 gzdoom: 2.3.2 -> 3.0.1
also change license to gpl3, gzdoom migrated licenses! (yay)
2017-05-22 04:37:39 -07:00
Mateusz Kowalczyk
638fb38ef0 jenkins: 2.61 -> 2.62 2017-05-22 12:01:31 +01:00
Cray Elliott
777d5ee732 obs-studio: 18.0.2 -> 19.0.2 2017-05-22 02:45:18 -07:00
Frederik Rietdijk
997b6ae752 Merge pull request #25803 from vdemeester/astroid-0-9-1
astroid: 0.8 -> 0.9.1
2017-05-22 11:14:42 +02:00
Frederik Rietdijk
0891d0b7a0 Merge pull request #25716 from LnL7/python-flake8
python flake8: 3.2.1 -> 3.3.0
2017-05-22 11:12:36 +02:00
Frederik Rietdijk
1267b155c4 Merge pull request #25916 from FRidh/reproducible
Python: set DETERMINISTIC_BUILD and PYTHONHASHSEED in setupHook
2017-05-22 10:20:04 +02:00
Frederik Rietdijk
99cfab07b9 Merge remote-tracking branch 'upstream/master' into HEAD 2017-05-22 09:21:40 +02:00
Frederik Rietdijk
64a924a96b Merge pull request #25981 from rimmington/cython-arm-pr
cython: build on 32-bit ARM
2017-05-22 09:16:08 +02:00
Jörg Thalheim
7e40287d00 Merge pull request #25835 from therealpxc/fish
Fish: source NixOS environment on non-login shells + source shell init on NixOS even when parent shell has done so
2017-05-22 07:08:30 +01:00
Andrew Miller
c3f434fd62 hss: init at 1.0.1 (#25936)
* hss: init at 1.0.1

* hss: use buildRubyGem instead of bundler
2017-05-22 07:06:11 +01:00
Shea Levy
b1b61d0988 coq: nix-buffer: Inherit variables to PG shell 2017-05-22 00:45:54 -04:00
John Ericson
1dc6f15de9 stdenv: define is* predicates with hostPlatform.is*
This is a saner default until stdenv's are removed altogether
2017-05-22 00:25:02 -04:00
John Ericson
c5c6606048 lib: Infer libc field of platform if not specified
This is especially useful when not cross compiling. It means we can
remove the `stdenv.isGlibc` predicate too.

Additionally, use this to simplify the logic to choose the
appropriate libiconv derivation.
2017-05-22 00:25:02 -04:00