Vincent Laporte
c8137fc229
coq: default to version 8.11
2020-08-23 08:19:21 +02:00
Vincent Laporte
36cff634d1
compcert: use Coq 8.10
2020-08-23 08:19:21 +02:00
Vincent Laporte
1875d9bfd5
coqPackages.coqprime: enable for Coq 8.11
2020-08-23 08:19:21 +02:00
Vincent Laporte
e3c2934213
ocamlPackages.ocamlgraph: make GTK support optional
...
When `gtkSupport` is true, additional components are built:
- a module to render a graph on a GTK2 canvas
- two GTK-based programs: a graph viewer and a graph editor.
The default is to have `gtkSupport` as it is used in e.g., Frama-C.
2020-08-23 08:12:49 +02:00
tobim
5be356a9cc
pythonPackages.pandas: fix build with clang ( #95992 )
...
Co-authored-by: Dmitry Kalinkin <dmitry.kalinkin@gmail.com>
2020-08-22 23:51:48 -04:00
numinit
3a8a327ffa
libguestfs: Add Berkeley DB as a dependency
2020-08-22 20:43:13 -06:00
Sascha Grunert
ddfa221670
cri-o: add loobpack CNI config to module
...
Signed-off-by: Sascha Grunert <sgrunert@suse.com>
2020-08-23 09:32:40 +10:00
Amirhossein Rouzbahani
829dd22cad
shadowsocks-v2ray-plugin: init at 1.3.1
2020-08-23 09:20:56 +10:00
Amirhossein Rouzbahani
026b4765ba
maintainers: add ahrzb
2020-08-23 09:20:56 +10:00
zowoq
405dc04eab
.github/CODEOWNERS: add myself to podman
2020-08-23 09:04:13 +10:00
Doron Behar
f8a49ec8db
nheko: dirty fix to #94942 ( #95060 )
...
The real issue is #94952 or #94905 .
2020-08-23 00:16:14 +02:00
Ryan Mulligan
909539e6a0
Merge pull request #95980 from r-ryantm/auto-update/kube3d
...
kube3d: 3.0.0 -> 3.0.1
2020-08-22 14:44:44 -07:00
Ryan Mulligan
a3279fbcf1
Merge pull request #95960 from r-ryantm/auto-update/dnsproxy
...
dnsproxy: 0.29.0 -> 0.31.0
2020-08-22 14:44:21 -07:00
Ryan Mulligan
ffb3238b2b
Merge pull request #95953 from r-ryantm/auto-update/clash
...
clash: 1.0.0 -> 1.1.0
2020-08-22 14:43:39 -07:00
Lassulus
05c92dca18
Merge pull request #89282 from rileyinman/streamlink-twitch-gui
...
streamlink-twitch-gui-bin: init at 1.10.0
2020-08-22 23:42:11 +02:00
Riley Inman
cf1a51ceef
streamlink-twitch-gui-bin: init at 1.10.0
2020-08-22 17:32:12 -04:00
Lassulus
dd2ecd0712
Merge pull request #89729 from JJJollyjim/bitwarden-rs-test
...
nixos/bitwarden_rs: add test
2020-08-22 23:23:55 +02:00
Maximilian Bosch
d1183332d2
Merge pull request #96009 from georgyo/ipfs-pin-go114
...
Ipfs: pin go114
2020-08-22 23:15:15 +02:00
Justin Humm
6a7b11055c
Merge pull request #93532 from erictapen/gollum-h1-title
...
nixos/gollum: introduce --h1-title option
2020-08-22 22:45:43 +02:00
Sebastien Bariteau
126d456ece
espanso: 0.6.3 -> 0.7.0
2020-08-22 16:40:50 -04:00
Louis Bettens
ead09d7e6e
xpra: force XPRA_COMMAND
2020-08-22 22:38:10 +02:00
Maximilian Bosch
05a4dc3ce9
wireguard-tools: 1.0.20200513 -> 1.0.20200820
...
https://lists.zx2c4.com/pipermail/wireguard/2020-August/005780.html
2020-08-22 22:35:22 +02:00
Maximilian Bosch
8f3a2d3e5c
neomutt: 20200814 -> 20200821
...
https://github.com/neomutt/neomutt/releases/tag/20200821
2020-08-22 22:25:31 +02:00
Maximilian Bosch
790f286b94
cargo-make: 0.32.0 -> 0.32.2
...
https://github.com/sagiegurari/cargo-make/releases/tag/0.32.1
https://github.com/sagiegurari/cargo-make/releases/tag/0.32.2
2020-08-22 22:22:15 +02:00
Maximilian Bosch
d61bb155dc
Merge pull request #96026 from bbigras/nixos-enter
...
nixos/manual: fix typo in man-nixos-enter.xml
2020-08-22 21:59:09 +02:00
Jamie McClymont
f5f2d89fb7
nixos/bitwarden_rs: add test
2020-08-23 07:29:42 +12:00
Maximilian Bosch
0436b98753
Merge pull request #95845 from WilliButz/update/prometheus-2.20.1
...
prometheus: 2.19.3 -> 2.20.1, fix thanos test
2020-08-22 21:22:38 +02:00
Bruno Bigras
c62fe0bea5
nixos/manual: fix typo in man-nixos-enter.xml
2020-08-22 15:08:37 -04:00
Lassulus
8f0350a213
Merge pull request #87682 from jansol/draco
...
draco: init at 1.3.6
2020-08-22 21:01:48 +02:00
Maximilian Bosch
a6f577ab8f
Merge pull request #95971 from r-ryantm/auto-update/grafana-loki
...
grafana-loki: 1.5.0 -> 1.6.0
2020-08-22 20:59:54 +02:00
Lassulus
35c967c1eb
Merge pull request #87488 from r-ryantm/auto-update/snd
...
snd: 20.2 -> 20.3
2020-08-22 20:39:29 +02:00
Justin Humm
8afdfde229
Merge pull request #95991 from bachp/unifi-5.14.22
...
unifiStable: 5.13.32 -> 5.14.22
2020-08-22 20:27:50 +02:00
Daniël de Kok
0d2d55f16b
Merge pull request #86807 from matthuszagh/vhd2vl
...
vhd2vl: init
2020-08-22 20:19:43 +02:00
Silvan Mosberger
c6fb81d900
Merge pull request #95993 from Avaq/avaq/minecraft-server
...
minecraft-server: 1.16.1 -> 1.16.2
2020-08-22 20:13:04 +02:00
Mario Rodas
2dfcad8be4
Merge pull request #95962 from r-ryantm/auto-update/doppler
...
doppler: 3.9.1 -> 3.10.1
2020-08-22 13:11:53 -05:00
Mario Rodas
ccc913021b
Merge pull request #95995 from marsam/update-mcfly
...
mcfly: 0.4.1 -> 0.5.0
2020-08-22 13:10:30 -05:00
Lassulus
e56d1e2022
Merge pull request #90624 from jacg/virtual-ans
...
virtual-ans: init at 3.0.2c
2020-08-22 20:09:19 +02:00
Mario Rodas
b76a3a61b3
Merge pull request #95949 from r-ryantm/auto-update/bazelisk
...
bazelisk: 1.6.0 -> 1.6.1
2020-08-22 13:09:00 -05:00
Marek Mahut
464cdcfb0d
Merge pull request #95965 from r-ryantm/auto-update/ergo
...
ergo: 3.3.0 -> 3.3.1
2020-08-22 19:48:09 +02:00
Jacek Generowicz
76dc375bb4
virtual-ans: init at 3.0.2c
2020-08-22 19:42:54 +02:00
Arthur Gautier
0bd5a7d3ba
lvm2: 2.03.09 -> 2.03.10
2020-08-22 10:23:00 -07:00
Lassulus
2fb9ee9caa
Merge pull request #87553 from JoeDupuis/enhancing-monit-module
...
nixos/monit: Allow splitting the config in multiple files
2020-08-22 19:21:55 +02:00
Silvan Mosberger
ecaebb0ec6
Merge pull request #94855 from prusnak/runwayml
...
runwayml: 0.10.20 -> 0.14.3
2020-08-22 19:12:56 +02:00
Gabriel Ebner
3608002a4a
Merge pull request #96007 from gebner/qalculate_parallel_build
...
qalculate-gtk: fix parallel build
2020-08-22 19:10:14 +02:00
George Shammas
26a6db266c
ipfs: Enable doCheck
2020-08-22 13:09:22 -04:00
George Shammas
cea0d89531
ipfs: pin to go 1.14
2020-08-22 13:07:30 -04:00
Gabriel Ebner
a3ce3f5931
qalculate-gtk: fix parallel build
2020-08-22 19:06:43 +02:00
Lassulus
afde337f4a
Merge pull request #87969 from QuentinI/summon
...
summon: init at 0.8.2
2020-08-22 18:52:16 +02:00
Lassulus
344787cf8e
Merge pull request #87983 from lourkeur/cleanup_libfakeXinerama
...
fakeXinerama: clean up minor issues
2020-08-22 18:45:16 +02:00
Matt Huszagh
38aadfbbad
vhd2vl: init at unstable-2018-09-01
2020-08-22 09:42:34 -07:00
