Matthew Bauer
82a1153d6d
coq-modules: add default to fix eval
...
We don’t want these to not even evaluate, otherwise we won’t know why
they’re broken. For now, I’ve left these as the latest version for a
default. In the future, maybe we should be smarter about choosing these.
(cherry picked from commit e20b65156c
)
2019-01-28 10:16:30 -05:00
markuskowa
5afd11a4d6
Merge pull request #54778 from r-ryantm/auto-update/libosmocore
...
libosmocore: 0.12.1 -> 1.0.1
2019-01-28 16:15:19 +01:00
Vincent Demeester
a827b02924
minishift: 1.29.0 -> 1.30.0
...
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
2019-01-28 15:57:58 +01:00
Pascal Wittmann
0e14595178
pdfpc: 4.3.0 -> 4.3.1_0
2019-01-28 15:57:51 +01:00
Vincent Demeester
bd51ec497c
containerd: 1.2.1 -> 1.2.2
...
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
2019-01-28 15:51:23 +01:00
Vincent Demeester
7df5bb1633
kustomize: 1.0.10 -> 1.0.11
...
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
2019-01-28 15:46:11 +01:00
markuskowa
8474c24343
Merge pull request #54762 from r-ryantm/auto-update/multimon-ng
...
multimon-ng: 1.1.6 -> 1.1.7
2019-01-28 15:41:51 +01:00
markuskowa
5fdd747353
Merge pull request #54653 from r-ryantm/auto-update/urh
...
urh: 2.5.4 -> 2.5.5
2019-01-28 15:40:30 +01:00
R. RyanTM
5a3548349f
isso: 0.11.1 -> 0.12.2
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/isso/versions
2019-01-28 06:10:07 -08:00
Michael Weiss
2a051165d5
signing-party: 2.7 -> 2.8
2019-01-28 15:07:25 +01:00
Silvan Mosberger
7088d3f2ed
Merge pull request #54177 from baracoder/smartigt-18_2_4
...
smartgithg: 18_1_5 -> 18.2.4
2019-01-28 15:04:28 +01:00
Elis Hirwing
63aa9a887f
Merge pull request #54785 from r-ryantm/auto-update/kitty
...
kitty: 0.13.2 -> 0.13.3
2019-01-28 14:51:57 +01:00
Ryan Mulligan
6cfffbd218
Merge pull request #54781 from r-ryantm/auto-update/librime
...
librime: 1.3.2 -> 1.4.0
2019-01-28 05:51:09 -08:00
Elis Hirwing
3d6ed83d5b
Merge pull request #54726 from etu/nixos-sks-db-config
...
nixos/sks: Add option to configure database settings
2019-01-28 14:43:17 +01:00
Herman Fries
e036a3d616
smartgithg: 18_1_5 -> 18.2.4
...
This PR is committed using the new version.
The never version requires JRE 10, actually the changelog mentions
downgrading from JDK11 to 10 because of a bug related to https
but this seams to be fixed by now
https://bugs.openjdk.java.net/browse/JDK-8210005
Also I did not find a `jre` output in jdk11, so the closure size
might increase due to it.
2019-01-28 14:42:27 +01:00
R. RyanTM
4f832c5ad8
kotlin: 1.3.11 -> 1.3.20
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kotlin/versions
2019-01-28 08:34:48 -05:00
R. RyanTM
955f212d69
kakoune: 2018.10.27 -> 2019.01.20
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kakoune-unstable/versions
2019-01-28 05:27:36 -08:00
R. RyanTM
3334a02738
python37Packages.fonttools: 3.34.2 -> 3.36.0 ( #54722 )
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/python3.7-fonttools/versions
2019-01-28 14:05:29 +01:00
R. RyanTM
b4f58982de
kitty: 0.13.2 -> 0.13.3
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kitty/versions
2019-01-28 04:19:23 -08:00
R. RyanTM
8b4365bf33
kubetail: 1.6.5 -> 1.6.6
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kubetail/versions
2019-01-28 04:09:22 -08:00
Florian Klink
38be383a6f
Merge pull request #53419 from uvNikita/containers/fix-bridge
...
nixos/containers: add bridge without address specified
2019-01-28 12:39:13 +01:00
Jan Tojnar
d5670caa4e
Merge pull request #54743 from r-ryantm/auto-update/pulseeffects
...
pulseeffects: 4.4.6 -> 4.4.7
Co-authored-by: Jan Tojnar <jtojnar@gmail.com>
2019-01-28 12:04:36 +01:00
R. RyanTM
2af381973c
librime: 1.3.2 -> 1.4.0
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/librime/versions
2019-01-28 03:02:50 -08:00
R. RyanTM
d652f61916
libosmocore: 0.12.1 -> 1.0.1
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/libosmocore/versions
2019-01-28 02:34:22 -08:00
Michael Raskin
545cbf1bc3
Merge pull request #54632 from fare-patches/master
...
Update gambit and gerbil from upstream
2019-01-28 10:33:29 +00:00
Michael Raskin
02e58a066f
Merge pull request #54661 from r-ryantm/auto-update/visidata
...
visidata: 1.5.1 -> 1.5.2
2019-01-28 10:32:23 +00:00
Michael Raskin
8e9bfa350d
Merge pull request #54776 from r-ryantm/auto-update/links2
...
links2: 2.17 -> 2.18
2019-01-28 10:28:36 +00:00
Elis Hirwing
ab5dcc7068
nixos/sks: Add option to configure database settings
...
This can be used for options to tweak the behavior around the database.
2019-01-28 11:14:37 +01:00
Silvan Mosberger
e47fcaed5b
Merge pull request #54194 from vanzef/racer-mode-path-fix
...
emacsPackagesNg.racer-mode: fix default value for RUST_SRC_PATH
2019-01-28 11:11:07 +01:00
R. RyanTM
33160cfbfe
links2: 2.17 -> 2.18
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/links2/versions
2019-01-28 02:09:58 -08:00
Silvan Mosberger
42b3e89a41
Merge pull request #54644 from r-ryantm/auto-update/xmrig
...
xmrig: 2.8.3 -> 2.10.0
2019-01-28 10:58:01 +01:00
Silvan Mosberger
ced7e99841
Merge pull request #54688 from r-ryantm/auto-update/python3.7-texttable
...
python37Packages.texttable: 1.5.0 -> 1.6.0
2019-01-28 10:56:03 +01:00
Silvan Mosberger
51d2eed83b
Merge pull request #42838 from teto/kernel_autoconf
...
[RFC] add ability to merge structured configs
2019-01-28 10:38:00 +01:00
Ivan Solyankin
95cc144a5f
emacsPackagesNg.racer-mode: fix default value for RUST_SRC_PATH
2019-01-28 12:36:53 +03:00
R. RyanTM
8c2aaf37fd
python37Packages.httpsig: 1.2.0 -> 1.3.0 ( #54724 )
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/python3.7-httpsig/versions
2019-01-28 10:24:13 +01:00
worldofpeace
c0bb14fc4f
vscode: update desktop items
...
These should now be identical to the templates at
https://github.com/Microsoft/vscode/tree/master/resources/linux
2019-01-28 09:06:25 +00:00
R. RyanTM
eadf126a6e
ncpamixer: 1.2 -> 1.3
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ncpamixer/versions
2019-01-28 00:42:45 -08:00
R. RyanTM
f8f8f5b149
python37Packages.latexcodec: 1.0.5 -> 1.0.6 ( #54735 )
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/python3.7-latexcodec/versions
2019-01-28 09:23:04 +01:00
Tadeo Kondrak
d80651d5d9
libratbag: 0.9.903 -> 0.9.904
2019-01-28 01:04:03 -07:00
R. RyanTM
719b7dcfb1
monkeysphere: 0.42 -> 0.43
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/monkeysphere/versions
2019-01-28 00:00:02 -08:00
R. RyanTM
ae33406748
now-cli: 13.0.4 -> 13.1.2
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/now-cli/versions
2019-01-27 23:46:17 -08:00
R. RyanTM
23a981a683
monetdb: 11.31.11 -> 11.31.13
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/monetdb/versions
2019-01-27 23:26:02 -08:00
R. RyanTM
bdfbd5b382
multimon-ng: 1.1.6 -> 1.1.7
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/multimon-ng/versions
2019-01-27 22:37:38 -08:00
Domen Kožar
df3142f118
Merge pull request #54759 from timbertson/nose
...
pythonPackages.nose_progressive: 1.5.1 -> 1.5.2
2019-01-28 13:14:27 +07:00
Tim Cuthbertson
2d3a53ad6d
pythonPackages.nose_progressive: 1.5.1 -> 1.5.2
2019-01-28 15:18:26 +11:00
R. RyanTM
43709307f1
nyx: 2.0.4 -> 2.1.0
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/nyx/versions
2019-01-27 20:11:38 -08:00
Ryan Mulligan
5094de98f0
Merge pull request #54673 from r-ryantm/auto-update/remmina
...
remmina: 1.2.32.1 -> 1.3.0
2019-01-27 19:54:44 -08:00
Peter Hoeg
ee472e4521
nixos/sshguard: fix syslog ids, no more pid file, cleanups
...
1. Allow syslog identifiers with special characters
2. Do not write a pid file as we are running in foreground anyway
3. Clean up the module for readability
Without this, when deploying using nixops, restarting sshguard would make
nixops show an error about restarting the service although the service is
actually being restarted.
2019-01-28 11:36:29 +08:00
Tim Steinbach
6ecfe92986
linux: Tag hardened kernels 2/2
...
Forgot to change the modDirVersion
2019-01-27 22:15:22 -05:00
Dmitry Kalinkin
b8d6cc8157
Merge pull request #54520 from veprbl/pr/sherpa_2.2.6
...
sherpa: 2.2.5 -> 2.2.6
2019-01-27 22:01:53 -05:00