Vincent Laporte
a9d066a990
coqPackages.tlc: init at 20171206
...
TLC is a general purpose Coq library that provides an alternative to Coq's
standard library.
Homepage: http://www.chargueraud.org/softs/tlc/
2017-12-28 08:19:54 +01:00
Tim Steinbach
5128f43b28
linux-copperhead: 4.14.8.b -> 4.14.9.a
2017-12-27 21:40:39 -05:00
Tim Steinbach
15b2a76399
linux: 4.4.107 -> 4.4.108
2017-12-27 21:31:14 -05:00
Silvan Mosberger
66fefb82e7
nixos/znapzend: stateless setup
...
This enables znapzend users to specify its full configuration through
NixOS options, without ever needing to use the stateful `znapzendzetup`
command.
This works by running znapzendzetup with the specified config in
ExecPre, just before the znapzend daemon is started.
There is also the `pure` option which will clear all previous znapzend setups,
making it as stateless as can get, as only the setup declared in
configuration.nix will be persisted.
2017-12-28 01:40:01 +01:00
Yegor Timoshenko
25b35f4ffb
chrootenv: resolve potential race condition
2017-12-28 00:25:02 +00:00
Peter Hoeg
7798051817
Merge pull request #32927 from peterhoeg/u/kdeapp
...
kde-applications: 17.08.3 -> 17.12.0
2017-12-28 08:22:27 +08:00
Will Dietz
c82b52d8a7
chkrootkit: 0.51 -> 0.52
2017-12-27 17:40:28 -06:00
John Wiegley
6674e34614
Xaw3d: 1.6 -> 1.6.2
...
Previously the version was given as 1.6.2, but the tarball it was installing
from was only 1.6.
2017-12-27 15:33:09 -08:00
Christoph Hrdinka
d890212ac8
nginx module: only turn on HTTP2 when SSL is enabled
...
Signed-off-by: Christoph Hrdinka <c.github@hrdinka.at>
2017-12-28 00:32:24 +01:00
Bastian Köcher
039cb6291d
renderdoc: Fixes build with missing SWIG_PACKAGE
2017-12-28 00:15:32 +01:00
José Romildo Malaquias
9fed741776
jgmenu: 0.7.5 -> 0.7.6 ( #33079 )
2017-12-27 17:50:01 -05:00
Miguel Madrid Mencía
e8207876a5
git-cola: 2.11 -> 3.0
2017-12-27 22:59:40 +01:00
John Ericson
ad1a1ee7dd
Merge pull request #33087 from obsidiansystems/alt-stdenv
...
treewide: Clean up multi-arch tools and usage
2017-12-27 13:45:24 -08:00
Ahmed Kamal
298798bcd6
electrum-ltc: 2.6.4.2 -> 2.9.3.1
2017-12-27 21:15:57 +00:00
Peter Simons
635c10140f
hackage-packages.nix: automatic Haskell package set update
...
This update was generated by hackage2nix v2.7-7-g6012213 from Hackage revision
e61097beb3
.
2017-12-27 21:33:17 +01:00
Peter Simons
071c6bb8ab
LTS Haskell 10.1
...
Fixes https://github.com/NixOS/nixpkgs/issues/33097 .
2017-12-27 21:33:12 +01:00
Peter Simons
63a9142279
Merge pull request #33054 from NixOS/ghc-prebuilt
...
ghc prebuilt: Add 7.8.4, 7.10.3 and 8.2.1, and make consistent style
2017-12-27 21:31:56 +01:00
John Ericson
558c96fe13
treewide: Cleanup usage of multi-arch tools
...
- Don't needlessly force GCC
- Prefer using multi-arch stdenvs to using multi-arch tools directly.
2017-12-27 15:15:45 -05:00
John Ericson
831c71eea3
top level: Clean up definitions of alternative stdenvs
...
- Dispatch off more appropriate conditions---`stdenv.cc.is*` and
`hostPlatform.is*` directly---rather than the OS as a proxy.
- Don't worry about pulling in binutils from normal `stdenv.cc` for
`gccMultiStdenv`.
- Defining a `multiStdenv` that uses whatever compiler is default.
- Define `stdenv_32bit` in terms of `multiStdenv`.
2017-12-27 15:15:41 -05:00
Yegor Timoshenko
afac8c61e9
Merge pull request #33108 from mdorman/emacs-updates
...
Semi-automated Emacs package updates
2017-12-27 21:55:51 +03:00
Kai Harries
d01f0530ac
nitrokey-app: 1.1 -> 1.2
2017-12-27 18:37:27 +01:00
Peter Simons
d9d554a287
Merge pull request #33089 from NixOS/revert-33077-scalendar-cycle
...
Revert "haskellPackages.{SC,sc}alendar: nullify to fix ofborg eval"
2017-12-27 18:34:49 +01:00
Peter Simons
39eb15b028
haskell-scalendar: break the infinite recursion to avoid evaluation errors
...
Suggested in https://github.com/NixOS/nixpkgs/pull/33077#issuecomment-353993598 .
2017-12-27 18:33:45 +01:00
Lancelot SIX
92cdd7d3ae
Merge pull request #33111 from jonafato/liferea-1.12.1
...
liferea: 1.12.0 -> 1.12.1
2017-12-27 17:59:19 +01:00
Peter Hoeg
8423b6a3d4
wp-cli: allow using more memory as composer can exhaust it
2017-12-28 00:39:09 +08:00
Jon Banafato
0fef1ed1b1
liferea: 1.12.0 -> 1.12.1
...
Liferea has a new bugfix release.
2017-12-27 11:33:48 -05:00
Michael Alan Dorman
4eb6074755
melpaStablePackages.rcirc-menu: mark broken
2017-12-27 08:19:42 -05:00
Michael Alan Dorman
85fbf141ae
melpaStablePackages.insert-shebang: mark broken
2017-12-27 08:19:42 -05:00
Michael Alan Dorman
8043782b8f
melpaStablePackages.eterm-256color: fix bad markBroken
...
I type `emacs` much more readily than `eterm`.
2017-12-27 08:19:42 -05:00
Michael Alan Dorman
af2ef2eac6
melpa-packages: 2017-12-26
...
Removals:
- company-eshell-autosuggest - Removed from melpa
- helm-package - Removed from melpa
2017-12-27 08:19:42 -05:00
Michael Alan Dorman
c7ab815035
melpa-stable-packages: 2017-12-26
...
Removals:
- company-eshell-autosuggest - removed from melpa
- helm-package - removed from melpa
2017-12-27 08:19:41 -05:00
Michael Alan Dorman
a998ee41e5
org-packages: 2017-12-26
2017-12-27 08:19:41 -05:00
Michael Alan Dorman
cd165af5f4
elpa-packages: 2017-12-26
2017-12-27 08:19:41 -05:00
rnhmjoj
3efe021416
palemoon: use upstream recommended options
2017-12-27 13:57:49 +01:00
Michael Weiss
b15eea6f31
Merge pull request #33085 from gnidorah/rootston
...
rootston module: better defaults
rootston module, orbment/bemenu: change my maintainership
2017-12-27 12:01:44 +01:00
Peter Hoeg
269e5c4cc1
Merge pull request #1 from gnidorah/kde
...
kde-applications: 17.08.3 -> 17.12.0
2017-12-27 16:45:07 +08:00
Peter Hoeg
e8db78639c
openwsman: do not compile on Darwin
2017-12-27 16:43:36 +08:00
gnidorah
c955c131f7
rootston module, orbment/bemenu: change my maintainership
2017-12-27 10:21:34 +03:00
Owen Lynch
afd198f0f4
mitschemeX11: init at 9.2
2017-12-26 22:32:23 -05:00
Owen Lynch
ee4aa56320
denemo: init at 2.2.0
2017-12-26 21:52:06 -05:00
Peter Hoeg
4d5837fc08
scummvm: add support for FluidSynth
...
This gives by far the best music and general sound quality for games
with MIDI support.
2017-12-27 09:10:34 +08:00
Jesper
1258d9a491
netdata: 1.7.0 -> 1.9.0 ( #33009 )
2017-12-26 16:54:06 -05:00
Justin Wood
6af1a08e9b
Elixir: init 1.6-rc.0 ( #33034 )
2017-12-26 16:53:24 -05:00
Langston Barrett
c9ec07309f
calcurse: 4.2.0 -> 4.3.0 ( #33036 )
...
* calcurse: 4.2.0 -> 4.3.0
2017-12-26 16:52:18 -05:00
Graham Christensen
152c386564
Merge pull request #33064 from samdroid-apps/gradio-update
...
gradio: 6.0.2 -> 7.0
2017-12-26 16:51:50 -05:00
Graham Christensen
f45d2e966d
Merge pull request #33068 from mimadrid/update/ack-2.22
...
ack: 2.16 -> 2.22
2017-12-26 16:51:34 -05:00
Peter Simons
adabca4b13
Revert "haskellPackages.{SC,sc}alendar: nullify to fix ofborg eval"
2017-12-26 22:24:30 +01:00
Graham Christensen
c964449c98
Merge pull request #33005 from vbgl/coq-lablgtk
...
coq: lablgtk is only needed for coqide
2017-12-26 15:52:28 -05:00
Graham Christensen
cd78ac9586
Merge pull request #33020 from pbogdan/flashtool-broken
...
flashtool: mark as broken
2017-12-26 15:51:14 -05:00
gnidorah
ececaafee1
rootston module: better defaults
2017-12-26 23:31:38 +03:00