Sandro
baeefadb54
Merge pull request #162593 from linsui/patch-2
2022-07-15 11:27:03 +02:00
ajs124
3133e2a7ee
Merge pull request #178246 from kilianar/OSCAR
...
OSCAR: 1.3.1 -> 1.4.0
2022-07-15 11:21:01 +02:00
Jörg Thalheim
886e605c72
Merge pull request #181044 from mrVanDalo/feature/terranix-2.5.4
...
terranix: 2.5.3 -> 2.5.4
2022-07-15 11:01:08 +02:00
Jonas Heinrich
f3b23d390d
sonixd: 0.15.1 -> 0.15.3
2022-07-15 09:50:15 +02:00
linsui
d02cf46624
dialect: init at 2.0.1
2022-07-15 12:27:51 +08:00
linsui
2df7e18699
JabRef: 5.5 -> 5.6
2022-07-15 10:12:09 +08:00
Infinidoge
3580dd9f3c
discord-canary: 0.0.135 -> 0.0.136
2022-07-14 20:39:15 -04:00
Mario Rodas
0436831b1a
Merge pull request #181267 from yurrriq/helmfile-repo-move
...
helmfile: 0.144.0 -> 0.145.2
2022-07-14 18:49:23 -05:00
techknowlogick
8da1e102f6
nomad_1_2: 1.2.8 -> 1.2.9
2022-07-14 19:46:34 -04:00
zowoq
cc6ac970d5
talosctl: 1.1.0 -> 1.1.1
...
https://github.com/siderolabs/talos/releases/tag/v1.1.1
2022-07-15 08:06:42 +10:00
zowoq
e99b08a745
gh: 2.14.1 -> 2.14.2
...
https://github.com/cli/cli/releases/tag/v2.14.2
2022-07-15 08:06:28 +10:00
Maximilian Bosch
7991f828ee
element-{web,desktop}: 1.10.15 -> 1.11.0
...
ChangeLog desktop: https://github.com/vector-im/element-desktop/releases/tag/v1.11.0
ChangeLog web: https://github.com/vector-im/element-web/releases/tag/v1.11.0
2022-07-15 00:05:37 +02:00
Ivar Scholten
4429ea6603
ryujinx: 1.1.100 -> 1.1.181
...
Also fixes the update script, which used to fail because of set -u.
2022-07-14 21:38:42 +02:00
Ivv
2354076f81
Merge pull request #181458 from sbruder/update-yuzu/mainline-1088
...
yuzu-mainline: 1014 -> 1088
2022-07-14 21:06:27 +02:00
nook
d4c74ccf4c
framesh: init at 0.5.0-beta.20
2022-07-14 20:50:15 +02:00
Sandro
fd00fef45d
Merge pull request #170915 from MoritzBoehme/spotify-tui-collection-patch
2022-07-14 20:21:08 +02:00
Sandro
dcbb0e5f55
Merge pull request #172706 from OPNA2608/update/libbencodetools_uade123
...
{libbencodetools,uade123}: Bump
2022-07-14 19:34:22 +02:00
Robert Scott
aef1c59782
Merge pull request #181183 from techknowlogick/hg-62
...
mercurial: 6.1.4 -> 6.2
2022-07-14 18:07:33 +01:00
Otavio Salvador
dbd58ee84f
shellhub-agent: 0.9.2 -> 0.9.3
...
Signed-off-by: Otavio Salvador <otavio@ossystems.com.br>
2022-07-14 12:41:38 -03:00
Stefan Frijters
47c340212d
wine{Unstable,Staging}: 7.11 -> 7.12
2022-07-14 15:14:09 +02:00
Stefan Frijters
58be603e7d
vkd3d: 1.3 -> 1.4
2022-07-14 15:14:06 +02:00
Elis Hirwing
e4d73b8bdd
Merge pull request #181474 from etu/drop-some-maintainerships
...
treewide: Drop myself as maintainer for some packages I don't use
2022-07-14 15:08:07 +02:00
Stefan Frijters
a517a2867c
wine{Unstable,Staging}: 7.10 -> 7.11
2022-07-14 15:07:14 +02:00
SuperHeroINTJ
656fa68f04
Merge pull request #181374 from risicle/ris-bisu-binary-bytecode
...
besu: mark with `sourceProvenance` `binaryBytecode`
2022-07-14 09:48:23 -03:00
Elis Hirwing
729fb87ae3
treewide: Drop myself as maintainer for some packages I don't use
2022-07-14 14:39:58 +02:00
Alex Griffin
4fe4be1b97
xmonadctl: init at 0.17.0
2022-07-14 14:28:32 +02:00
Mario Rodas
19cb612405
Merge pull request #181321 from mihnea-s/redux
...
redux: 1.2.2 -> 1.3.2
2022-07-14 07:13:11 -05:00
Mario Rodas
ddaaf525b0
Merge pull request #180256 from 06kellyjac/conform
...
conform: 0.1.0-alpha.25 -> 0.1.0-alpha.26
2022-07-14 07:11:10 -05:00
Mario Rodas
639e506e84
Merge pull request #181166 from sikmir/aerc
...
aerc: 0.10.0 → 0.11.0
2022-07-14 07:09:15 -05:00
Martin Weinelt
1bfb66edf8
Merge pull request #181312 from r-ryantm/auto-update/firefox-esr-102-unwrapped
2022-07-14 13:33:05 +02:00
R. Ryantm
71f758e616
gnome-console: 42.0 -> 42.2
2022-07-14 12:54:24 +02:00
Nick Cao
2d033383c8
thunderbird-bin-unwrapped: 102.0.1 -> 102.0.2
2022-07-14 18:42:37 +08:00
Nick Cao
2c596146f6
thunderbird-unwrapped: 102.0.1 -> 102.0.2
2022-07-14 18:33:51 +08:00
Nick Cao
fb64b95132
thunderbird-*: set versionPrefix in updateScript
2022-07-14 18:33:18 +08:00
Simon Bruder
dccd4d7912
yuzu-mainline: 1014 -> 1088
...
This does not update yuzu-ea, since it currently does not build because
of https://github.com/yuzu-emu/yuzu/pull/8508#issuecomment-1178789727 .
2022-07-14 11:53:47 +02:00
Martin Weinelt
1f5af608e7
Merge pull request #179433 from mweinelt/firefox-updatescript
...
firefox: Extend upgrade script with version prefix
2022-07-14 10:54:01 +02:00
Alyssa Ross
7ac2cf8e83
imagemagick: rename 7.0.nix to default.nix
...
"7.0.nix" doesn't make any sense, because it contains version
7.1.0-39. imagemagick6 is barely used and can probably be removed
soon, so I think it makes sense to let 7.x have the default.nix path.
2022-07-14 08:44:03 +00:00
R. Ryantm
291162b195
mkgmap: 4904 -> 4905
2022-07-14 08:29:40 +00:00
zowoq
3973b7d826
kubernetes: 1.23.8 -> 1.23.9
...
https://github.com/kubernetes/kubernetes/blob/master/CHANGELOG/CHANGELOG-1.23.md#changelog-since-v1238
2022-07-14 17:46:36 +10:00
kilianar
28010c8de4
signal-desktop: 5.49.0 -> 5.50.0
2022-07-14 07:32:09 +02:00
Artturi
756bff3405
Merge pull request #181418 from twitchyliquid64/openscad/fix-wayland
...
openscad: fix on wayland systems
2022-07-14 05:29:35 +03:00
Tom
38f8a4d71c
openscad: fix on wayland systems
2022-07-13 17:18:46 -07:00
techknowlogick
d39b1faa01
nomad_1_3: 1.3.1 -> 1.3.2
2022-07-13 19:34:05 -04:00
Rick van Schijndel
4d00ba8c74
Merge pull request #181360 from illustris/hadoop-fix-blocker
...
hadoop: fix failing evaluation on platforms other than x86_64-linux
2022-07-13 23:51:21 +02:00
Daniel Olsen
cec2f72095
hydrus: 490 -> 491
2022-07-13 23:48:11 +02:00
Daniel Olsen
250157ab54
hydrus: 489 -> 490
2022-07-13 23:45:45 +02:00
Daniel Olsen
eab2d27e22
hydrus: 488d -> 489
2022-07-13 23:45:45 +02:00
Michael Weiss
af38697574
Merge pull request #181259 from primeos/chromiumBeta
...
chromiumBeta: 104.0.5112.29 -> 104.0.5112.39
2022-07-13 22:11:39 +02:00
techknowlogick
ff1f859bf3
kubernetes-helm: 3.9.0 -> 3.9.1
2022-07-13 14:32:45 -04:00
illustris
01ba1ceb0e
hadoop: fix failing evaluation on platforms other than x86_64-linux
2022-07-13 23:04:33 +05:30
K900
269da4b42a
Merge pull request #181348 from K900/upd8n
...
n8n: 0.185.0 → 0.186.0
2022-07-13 19:39:13 +03:00
Ryan Mulligan
e703a434b7
Merge pull request #181369 from buckley310/2022-07-13-vmware
...
vmware-horizon-client: use legacy UI
2022-07-13 09:13:22 -07:00
Robert Scott
62db62f691
bisu: mark with sourceProvenance binaryBytecode
2022-07-13 16:43:06 +01:00
Sean Buckley
3e5fba739b
vmware-horizon-client: use legacy UI
2022-07-13 10:54:50 -04:00
SuperHeroINTJ
070314b62d
Merge pull request #181313 from bryanasdev000/kyverno
...
kyverno: init at 1.7.0
2022-07-13 11:50:49 -03:00
Pavol Rusnak
c9e017e542
Merge pull request #181354 from erikarvstedt/btcpayserver-1.6.1
...
btcpayserver: 1.5.4 -> 1.6.1
2022-07-13 16:03:43 +02:00
Pavol Rusnak
939a505444
Merge pull request #181307 from r-ryantm/auto-update/ffmpeg-normalize
...
ffmpeg-normalize: 1.23.0 -> 1.23.1
2022-07-13 16:02:09 +02:00
zowoq
f3eb585dad
terraform: 1.2.4 -> 1.2.5 ( #181343 )
...
https://github.com/hashicorp/terraform/releases/tag/v1.2.5
2022-07-13 14:30:39 +02:00
Bobby Rong
7cff564ee5
Merge pull request #181304 from r-ryantm/auto-update/curtail
...
curtail: 1.3.0 -> 1.3.1
2022-07-13 20:23:56 +08:00
R. Ryantm
ac37f4873a
gnome-console: 42.beta -> 42.0
2022-07-13 13:56:59 +02:00
Sandro
c12751c119
Merge pull request #180858 from azahi/albert
...
albert: 0.17.2 -> 0.17.3
2022-07-13 13:26:13 +02:00
K900
96e7dc4f24
n8n: 0.185.0 → 0.186.0
2022-07-13 11:02:48 +00:00
Pavol Rusnak
79aebd3e05
btcpayserver: enable build on darwin
2022-07-13 12:29:15 +02:00
Erik Arvstedt
b45e4a004e
btcpayserver: 1.5.4 -> 1.6.1
2022-07-13 12:29:15 +02:00
Erik Arvstedt
43b37c60c0
nbxplorer: 2.3.26 -> 2.3.28
2022-07-13 12:29:15 +02:00
Azat Bahawi
d52d3d66b9
werf: 1.2.120 -> 1.2.124
2022-07-13 13:10:32 +03:00
SuperHeroINTJ
6daa06ec37
Merge pull request #181309 from bryanasdev000/velero-warnings
...
velero: added v prefix to version to fix client/server version validation
2022-07-13 05:43:51 -03:00
Rick van Schijndel
a6a3bc6344
Merge pull request #181219 from totoroot/update/qownnotes-22.7.1
...
qownnotes: 22.6.1 -> 22.7.1
2022-07-13 10:26:19 +02:00
Tae Selene Sandoval Murgan
f88533ec37
neovim-remote: disable tests on Darwin
...
The only enabled test started to fail with write errors. Setting
HOME=$TMPDIR works, but then it fails the same way than the disabled
ones
2022-07-13 10:11:27 +02:00
Sandro
d43a7bbde2
Merge pull request #178192 from Craftzman7/exodus
...
exodus: 22.2.25 -> 22.6.17
2022-07-13 10:06:38 +02:00
Matthias Beyer
7c6a8f0b38
tig: 2.5.5 -> 2.5.6
...
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2022-07-13 09:30:34 +02:00
Rick van Schijndel
5f49efd32f
Merge pull request #179461 from illustris/hadoop-cve
...
hadoop: security updates
2022-07-13 08:38:38 +02:00
Mihnea Stoian
5ded7b6dc2
redux: 1.2.2 -> 1.3.2
2022-07-13 09:04:05 +03:00
Ben Siraphob
3d23c4ef8a
Merge pull request #181073 from jiegec/glances-darwin
...
glances: fix tests on darwin
2022-07-12 22:31:30 -07:00
Ben Siraphob
08dfccb401
Merge pull request #179753 from celestefox/craftos
2022-07-12 22:22:58 -07:00
Bryan A. S
32a83dc840
kyverno: init at 1.7.0
2022-07-13 01:16:13 -03:00
R. Ryantm
0b91cc0961
firefox-esr-102-unwrapped: 102.0esr -> 102.0.1esr
2022-07-13 03:57:47 +00:00
Bryan A. S
479478822b
velero: added v prefix to version to fix client/server version validation
2022-07-13 00:33:08 -03:00
R. Ryantm
6e5dd2a2ca
ffmpeg-normalize: 1.23.0 -> 1.23.1
2022-07-13 02:35:32 +00:00
R. Ryantm
972106f90f
curtail: 1.3.0 -> 1.3.1
2022-07-13 01:44:50 +00:00
Astro
60722ac1d9
rpcs3: 0.0.21-13388-4a86638ce -> 0.0.23-13907-cdef752a9
2022-07-13 03:43:56 +02:00
zowoq
dbe1337750
gh: 2.14.0 -> 2.14.1
...
https://github.com/cli/cli/releases/tag/v2.14.1
2022-07-13 08:18:15 +10:00
Jan Solanti
14306d7812
tauon: 7.2.1 -> 7.3.1
2022-07-13 01:04:49 +03:00
kilianar
f8d9ca3703
gitea: 1.16.8 -> 1.16.9
2022-07-12 23:36:20 +02:00
Rick van Schijndel
f73ff47ca9
Merge pull request #174451 from r-ryantm/auto-update/nengo-gui
...
nengo-gui: 0.4.8 -> 0.4.9
2022-07-12 23:25:08 +02:00
Rick van Schijndel
b1aea3e00b
Merge pull request #174372 from r-ryantm/auto-update/brave
...
brave: 1.39.122 -> 1.40.113
2022-07-12 23:23:03 +02:00
Eric Bailey
af1462f0a2
helmfile: install autocompletion
2022-07-12 15:55:50 -05:00
Eric Bailey
37e4ff1b4c
helmfile: 0.144.0 -> 0.145.2
...
- Update src to helmfile/helmfile https://github.com/roboll/helmfile/issues/1824
- Update meta to better match upstream
2022-07-12 15:55:10 -05:00
Michael Weiss
8d73ee9187
chromiumBeta: 104.0.5112.29 -> 104.0.5112.39
2022-07-12 21:04:02 +02:00
ajs124
ab12fba5a9
Merge pull request #181139 from ifurther/fix-rrsync
...
rrsync: change per script to python script
2022-07-12 16:17:55 +02:00
Jonas Heinrich
d7da02c1e0
zulip-term: 0.6.0 -> 0.7.0
2022-07-12 10:06:05 -04:00
Jonas Heinrich
2349dd5cb2
graphia: 2.2 -> 3.0
2022-07-12 10:01:03 -04:00
Florian Brandes
668df39084
pinegrow: 6.5 -> 6.6
...
Signed-off-by: Florian Brandes <florian.brandes@posteo.de>
2022-07-12 15:35:14 +02:00
zowoq
5723e473be
gh: 2.13.0 -> 2.14.0
...
https://github.com/cli/cli/releases/tag/v2.14.0
2022-07-12 23:03:50 +10:00
Sandro
3d2b62c78c
Merge pull request #179851 from zendo/media-downloader
...
media-downloader: init at 2.4.0
2022-07-12 14:58:19 +02:00
Sandro
8785153a13
Merge pull request #180450 from wegank/lp_solve-aarch64-darwin
2022-07-12 14:56:55 +02:00
Matthias Thym
6b0546c40b
qownnotes: 22.6.1 -> 22.7.1
2022-07-12 14:27:23 +02:00
Further
c19c7d96c5
rrsync: clean unused part
2022-07-12 18:17:39 +08:00
Ryan Burns
447e562f81
wibo: init at 0.2.0
2022-07-12 01:24:10 -07:00
misuzu
f302189002
alfis: 0.7.4 -> 0.7.6
2022-07-12 09:06:41 +03:00
zowoq
77b2ff803d
terraform-providers: switch to go_1_18
2022-07-12 15:40:49 +10:00
zowoq
92b7ba081f
terraform-providers: remove outdated throw
2022-07-12 15:40:49 +10:00
techknowlogick
26d105482b
mercurial: 6.1.4 -> 6.2
2022-07-11 22:38:23 -04:00
Aaron Andersen
d4862a2236
Merge pull request #180014 from aanderse/kodi.packages.invidious
...
kodi.packages.invidious: init at 0.1.0+matrix.1
2022-07-12 02:32:38 +02:00
Nikolay Korotkiy
8459248345
aerc: 0.10.0 → 0.11.0
2022-07-12 00:46:20 +03:00
Further
9d7d8c11eb
rrsync: fixed python3 and add braceexpand module
2022-07-12 03:30:48 +08:00
Kira Bruneau
b08c9d9d87
krane: 2.4.6 → 2.4.7
2022-07-11 15:13:31 -04:00
ajs124
675c2b6ee7
Merge pull request #181074 from delroth/hexedit-1.5
2022-07-11 19:11:35 +02:00
Further
a91cea12b1
rrsync: change per script to python script
2022-07-12 01:08:40 +08:00
squalus
7df70d8899
standardnotes: 3.11.1 -> 3.23.69
2022-07-11 09:34:59 -07:00
Pierre Bourdon
b30074d274
hexedit: 1.2.13 -> 1.6
2022-07-11 18:09:55 +02:00
Martin Weinelt
78f9f91a7d
Merge pull request #181015 from squalus/librewolf
...
librewolf: 102.0-2 -> 102.0.1-1
2022-07-11 17:46:35 +02:00
kilianar
bc72fda636
hugo: 0.99.1 -> 0.101.0
2022-07-11 17:36:35 +02:00
Jonas Chevalier
4ce2abd5a8
Merge pull request #180650 from yurrriq/kops-1.24.0
...
Kops 1.24.0
2022-07-11 17:08:43 +02:00
Zoey de Souza Pessanha
f69e9bc2cc
nixpacks: init at 0.1.7 ( #179932 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-07-11 15:49:34 +02:00
zendo
8dcdd419d1
media-downloader: init at 2.4.0
...
Co-authored-by: Anderson Torres <torres.anderson.85@protonmail.com>
2022-07-11 21:40:01 +08:00
kilianar
e67a009406
terminal-colors: 3.0.1 -> 3.0.2
2022-07-11 15:10:25 +02:00
Jonas Heinrich
63d729665c
glimpse: Drop package and plugins
2022-07-11 15:05:14 +02:00
Bobby Rong
13a310dc59
Merge pull request #180296 from r-ryantm/auto-update/bada-bib
...
bada-bib: 0.6.2 -> 0.7.2
2022-07-11 20:44:36 +08:00
Bobby Rong
a097ce11c0
Merge pull request #181029 from r-ryantm/auto-update/alfis
...
alfis: 0.7.3 -> 0.7.4
2022-07-11 20:14:13 +08:00
Jiajie Chen
efb1ce5cd0
glances: fix tests on darwin
...
Apply changes from https://github.com/nicolargo/glances/pull/2082
2022-07-11 20:00:05 +08:00
SuperHeroINTJ
3a7dedf779
Merge pull request #179893 from zendo/radioboat
...
radioboat: init at 0.2.1
2022-07-11 08:55:00 -03:00
Sandro
006ffd8252
Merge pull request #140658 from alyssais/firefox-bin-https
...
firefox-bin: HTTPS for homepage and updateScript
2022-07-11 13:47:27 +02:00
R. Ryantm
76e20e84b6
gmsh: 4.10.4 -> 4.10.5
2022-07-11 10:54:53 +00:00
marius david
6bca1a6416
rustdesk: 1.1.8 -> 1.1.9, fix
2022-07-11 03:25:55 -04:00
Lassulus
965a6d4cb3
Merge pull request #180957 from sikmir/pidgin-telegram
2022-07-11 09:16:49 +02:00
André Vitor de Lima Matos
6de4f6b39f
digikam: 7.6.0 -> 7.7.0
2022-07-11 14:29:34 +08:00
André Vitor de Lima Matos
8b788def0f
kde/gear: 22.04.2 -> 22.04.3
2022-07-11 14:29:34 +08:00
Klemens Nanni
735e0d7fa8
konversation: Remove maintainer
...
> Actually, no. I am no longer using IRC and thereby konversation.
https://github.com/NixOS/nixpkgs/pull/180595#issuecomment-1178683153
2022-07-11 14:24:50 +08:00
Klemens Nanni
0f72d3c8cc
konversation: Update/move to KDE Gear
...
1.7.7 from october 2020 was the last version before Konversation adapted
the KDE Gear versioning schema, so move and thus update it accordingly.
2022-07-11 14:24:50 +08:00
Klemens Nanni
3b12ce3da6
kde: sort apps alphabetically
...
Makes searching/adding new ones easier.
2022-07-11 14:24:50 +08:00
Bobby Rong
06e537ad60
bada-bib: add missing libadwaita and gtksourceview5 dependency
2022-07-11 13:46:57 +08:00
Bobby Rong
641ce01ee9
Merge pull request #180427 from r-ryantm/auto-update/argocd-autopilot
...
argocd-autopilot: 0.3.7 -> 0.3.9
2022-07-11 13:36:17 +08:00
zendo
9104b29c39
radioboat: init at 0.2.1
2022-07-11 12:58:19 +08:00
zendo
9c52a623fc
audacious: 4.1 -> 4.2
2022-07-11 06:26:30 +02:00
Ingolf Wagner
1547a2b7cb
terranix: 2.5.3 -> 2.5.4
2022-07-11 06:22:14 +02:00
R. Ryantm
71ee25aecf
alfis: 0.7.3 -> 0.7.4
2022-07-11 01:26:09 +00:00
Franz Pletz
d048693138
Merge pull request #180999 from Luflosi/update/ipfs
...
ipfs: 0.13.0 -> 0.13.1
2022-07-11 03:26:06 +02:00
7c6f434c
c196afc04e
Merge pull request #180675 from collares/singular-4.3.1
...
singular: 4.3.0 -> 4.3.1
2022-07-10 23:22:38 +00:00
squalus
6e87ec8162
librewolf: 102.0-2 -> 102.0.1-1
2022-07-10 13:33:14 -07:00
Matthieu Coudron
341b9564bb
vimUtils: remove vam support
...
having this many (complex) options not only is hard to maintain but I cant see the benefit of these options now that vim supports packages
2022-07-10 20:38:09 +02:00
Sandro
63230b2fce
Merge pull request #180753 from LibreCybernetics/update-android-studio
...
android-studio updates
2022-07-10 20:33:55 +02:00
Rick van Schijndel
fb3672f9bd
Merge pull request #180926 from smancill/sigal-darwin
...
sigal: fix build on darwin
2022-07-10 20:22:49 +02:00
Mario Rodas
9204ccd1c9
Merge pull request #180986 from devhell/bump-termusic
...
termusic: 0.6.16 -> 0.6.17
2022-07-10 13:18:04 -05:00
Luflosi
c6fa85eff3
ipfs: 0.13.0 -> 0.13.1
...
https://github.com/ipfs/go-ipfs/releases/tag/v0.13.1
2022-07-10 18:50:07 +02:00
Sandro
7748a71d4d
Merge pull request #180702 from SuperSandro2000/fix-bash-completion
2022-07-10 18:47:53 +02:00
Luflosi
7ff7f66643
ipfs: use passthru for repoVersion
...
The `repoVersion` is only used outside the derivation and not for the build of IPFS itsef. This is exactly the use-case `passthru` was meant for.
It allows updating the `repoVersion` without rebuilding IPFS. This may come in handy if someone forgets to update it and it needs to be updated later.
2022-07-10 18:35:37 +02:00
Martin Weinelt
92a0ee6766
Merge pull request #180951 from SebTM/update/notepad-next_053
...
notepad-next: 0.5.2 -> 0.5.3
2022-07-10 17:26:48 +02:00
devhell
d747f79938
termusic: 0.6.16 -> 0.6.17
2022-07-10 14:57:46 +01:00
Théo Zimmermann
3ea8ed7d7e
Split out CoqIDE by default when Coq >= 8.14.
2022-07-10 15:49:44 +02:00
