Jörg Thalheim
|
7221cae5b9
|
Merge pull request #175723 from aaronjheng/manul
manul: remove
|
2022-06-13 14:00:35 +02:00 |
|
R. RyanTM
|
693d5359ee
|
oh-my-zsh: 2022-06-06 -> 2022-06-12 (#177485)
|
2022-06-13 07:33:29 -04:00 |
|
R. Ryantm
|
3cf3911f79
|
python310Packages.azure-mgmt-logic: 9.0.0 -> 10.0.0
|
2022-06-13 11:17:57 +00:00 |
|
FliegendeWurst
|
f5389ce140
|
vscodium: mark meta.sourceProvenance
|
2022-06-13 18:55:15 +08:00 |
|
FliegendeWurst
|
7cb9bf19b9
|
yandex-browser: mark meta.sourceProvenance
|
2022-06-13 18:55:15 +08:00 |
|
FliegendeWurst
|
6a0ed325e3
|
vivaldi: mark meta.sourceProvenance
|
2022-06-13 18:55:15 +08:00 |
|
FliegendeWurst
|
746ecffade
|
microsoft-edge: mark meta.sourceProvenance
|
2022-06-13 18:55:15 +08:00 |
|
FliegendeWurst
|
51d4989cdd
|
firefox-bin: mark meta.sourceProvenance
|
2022-06-13 18:55:15 +08:00 |
|
FliegendeWurst
|
76b1ca1c35
|
google-chrome: mark meta.sourceProvenance
|
2022-06-13 18:55:15 +08:00 |
|
FliegendeWurst
|
08947f3df6
|
opera: mark meta.sourceProvenance
|
2022-06-13 18:55:15 +08:00 |
|
FliegendeWurst
|
c08c35ced3
|
adoptopenjdk-bin: mark meta.sourceProvenance
|
2022-06-13 18:55:15 +08:00 |
|
FliegendeWurst
|
f92bbd5b0a
|
breitbandmessung: mark meta.sourceProvenance
|
2022-06-13 18:55:15 +08:00 |
|
FliegendeWurst
|
6603e6a8d1
|
tor-browser-bundle-bin: mark meta.sourceProvenance
|
2022-06-13 18:55:15 +08:00 |
|
FliegendeWurst
|
04f2eb1b0a
|
mathematica: mark meta.sourceProvenance
|
2022-06-13 18:55:15 +08:00 |
|
FliegendeWurst
|
857463a465
|
trilium-{desktop,server}: mark meta.sourceProvenance
|
2022-06-13 18:55:15 +08:00 |
|
Fabian Affolter
|
d339c45815
|
catt: 0.12.2 -> 0.12.7
|
2022-06-13 12:55:11 +02:00 |
|
Fabian Affolter
|
5e7840d676
|
clair: 4.4.2 -> 4.4.4
|
2022-06-13 12:12:50 +02:00 |
|
Fabian Affolter
|
9ba8f9c6cf
|
Merge pull request #177459 from r-ryantm/auto-update/flexget
flexget: 3.3.15 -> 3.3.16
|
2022-06-13 12:07:00 +02:00 |
|
Maximilian Bosch
|
accc92f060
|
element-{web,desktop}: 1.10.13 -> 1.10.14
ChangeLog desktop: https://github.com/vector-im/element-desktop/releases/tag/v1.10.14
ChangeLog web: https://github.com/vector-im/element-web/releases/tag/v1.10.14
|
2022-06-13 12:06:29 +02:00 |
|
Fabian Affolter
|
695fe7d253
|
kubeaudit: 0.17.0 -> 0.18.0
|
2022-06-13 12:02:25 +02:00 |
|
Fabian Affolter
|
80170ef344
|
Merge pull request #177490 from r-ryantm/auto-update/python3.10-pysmb
python310Packages.pysmb: 1.2.7 -> 1.2.8
|
2022-06-13 11:51:10 +02:00 |
|
Fabian Affolter
|
edd50437bd
|
checkov: 2.0.1209 -> 2.0.1210
|
2022-06-13 11:45:16 +02:00 |
|
Fabian Affolter
|
1210f3c24c
|
python310Packages.pyroute2-ipset: 0.6.11 -> 0.6.12
|
2022-06-13 11:44:55 +02:00 |
|
Fabian Affolter
|
0d462f55f3
|
python310Packages.pyroute2: 0.6.11 -> 0.6.12
|
2022-06-13 11:44:49 +02:00 |
|
Fabian Affolter
|
985d6dd96e
|
python310Packages.pyroute2-protocols: 0.6.11 -> 0.6.12
|
2022-06-13 11:44:44 +02:00 |
|
Fabian Affolter
|
d85e4c2873
|
python310Packages.pyroute2-nslink: 0.6.11 -> 0.6.12
|
2022-06-13 11:44:39 +02:00 |
|
Fabian Affolter
|
f6301f1ac5
|
python310Packages.pyroute2-nftables: 0.6.11 -> 0.6.12
|
2022-06-13 11:44:33 +02:00 |
|
Fabian Affolter
|
002a5c9955
|
python310Packages.pyroute2-ndb: 0.6.11 -> 0.6.12
|
2022-06-13 11:44:28 +02:00 |
|
Fabian Affolter
|
3341e2c570
|
python310Packages.pyroute2-ipdb: 0.6.11 -> 0.6.12
|
2022-06-13 11:44:23 +02:00 |
|
Fabian Affolter
|
5fb659f697
|
python310Packages.pyroute2-ethtool: 0.6.11 -> 0.6.12
|
2022-06-13 11:44:18 +02:00 |
|
Fabian Affolter
|
02bd9fccc3
|
python310Packages.pyroute2-core: 0.6.11 -> 0.6.12
|
2022-06-13 11:44:13 +02:00 |
|
Fabian Affolter
|
fa7335347a
|
httpx: 1.2.1 -> 1.2.2
|
2022-06-13 11:41:26 +02:00 |
|
X9VoiD
|
94cb803fab
|
broadcom_sta: fix build on linux 5.18 (#177243)
Fix build issues when compiling against Linux 5.18
|
2022-06-13 11:38:18 +02:00 |
|
Fabian Affolter
|
c1daec8d83
|
Merge pull request #176875 from r-ryantm/auto-update/python310Packages.azure-servicebus
python310Packages.azure-servicebus: 7.6.1 -> 7.7.0
|
2022-06-13 11:33:03 +02:00 |
|
Vincent Laporte
|
61d8986385
|
coqPackages.{hierarchy-builder,trakt}: disable for Coq ≥ 8.16
They depend on elpi (not yet available in nixpkgs)
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
10f159ffd1
|
coqPackages.mathcomp: disable for Coq ≥ 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
476cb5b0c7
|
coqPackages.simple-io: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
31648f5f8e
|
coqPackages.StructTact: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
bd84a72970
|
coqPackages.coqprime: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
e488c3e834
|
coqPackages.coq-record-update: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
7d14828292
|
coqPackages.LibHyps: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
e09c29e9e6
|
coqPackages.ITree: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
8bdc101414
|
coqPackages.math-classes: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
577c99884d
|
coqPackages.metalib: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
80fd9ab13e
|
coqPackages.parsec: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
b03dc538a3
|
coqPackages.semantics: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
082dc9aba9
|
coqPackages.iris: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
591f280978
|
coqPackages.stdpp: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
ecb1e2a99b
|
coqPackages.CoLoR: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
a8392b2ee4
|
coqPackages.tlc: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|