 Vincent Laporte
|
0e6ea7d975
|
coqPackages.deriving: enable for Coq 8.16
|
2022-09-08 18:06:44 +02:00 |
|
|
Vincent Laporte
|
bdc09cc2e1
|
coqPackages.gaia-hydras: enable for Coq 8.16
|
2022-09-08 18:06:41 +02:00 |
|
|
Vincent Laporte
|
ac447c9772
|
coqPackages.goedel: enable for Coq 8.16
|
2022-09-08 18:06:37 +02:00 |
|
|
Vincent Laporte
|
9ad12d1d8c
|
coqPackages.graph-theory: enable for Coq 8.16
|
2022-09-08 18:06:35 +02:00 |
|
|
Vincent Laporte
|
1b0eaf4d3a
|
coqPackages.itauto: init at 8.16.0
|
2022-09-08 18:06:32 +02:00 |
|
|
Vincent Laporte
|
d8318a75d5
|
coqPackages.coquelicot: enable for Coq 8.16
|
2022-09-08 18:06:29 +02:00 |
|
|
Vincent Laporte
|
215ba1b3d3
|
coqPackages.mathcomp-tarjan: enable for Coq 8.16
|
2022-09-08 18:06:26 +02:00 |
|
|
Vincent Laporte
|
2611f23722
|
coqPackages.mathcomp-word: enable for Coq 8.16
|
2022-09-08 18:06:24 +02:00 |
|
|
Vincent Laporte
|
4bdd2be574
|
coqPackages.mathcomp-zify: enable for Coq 8.16
|
2022-09-08 18:06:21 +02:00 |
|
|
Vincent Laporte
|
3359e6ba27
|
coqPackages.reglang: enable for Coq 8.16
|
2022-09-08 18:06:18 +02:00 |
|
|
Vincent Laporte
|
557f5ee714
|
coqPackages.trakt: enable for Coq 8.16
|
2022-09-08 18:05:52 +02:00 |
|
|
figsoda
|
be0f580df3
|
cargo-generate: 0.14.0 -> 0.16.0, fix license
also adds figsoda as a maintainer
|
2022-09-08 12:03:27 -04:00 |
|
|
R. Ryantm
|
3bb5204362
|
minio: 2022-09-01T23-53-36Z -> 2022-09-07T22-25-02Z
|
2022-09-08 15:52:42 +00:00 |
|
|
Mario RodasandGitHub
|
9cb1994f42
|
Merge pull request #189938 from IvarWithoutBones/node-cross
nodejs-18_x: fix cross compilation to aarch64-linux
|
2022-09-08 10:40:07 -05:00 |
|
|
R. Ryantm
|
bc65b2449e
|
python310Packages.gcal-sync: 0.10.0 -> 0.11.0
|
2022-09-08 15:37:24 +00:00 |
|
|
R. Ryantm
|
ce0c2022ca
|
python310Packages.adafruit-platformdetect: 3.27.2 -> 3.27.3
|
2022-09-08 15:30:56 +00:00 |
|
|
R. Ryantm
|
fe913f1465
|
pyradio: 0.8.9.25 -> 0.8.9.26
|
2022-09-08 15:22:34 +00:00 |
|
|
Mario RodasandGitHub
|
773feb6880
|
Merge pull request #190346 from r-ryantm/auto-update/oh-my-zsh
oh-my-zsh: 2022-08-14 -> 2022-09-07
|
2022-09-08 10:20:17 -05:00 |
|
|
Mario RodasandGitHub
|
9d1ee88023
|
Merge pull request #190347 from r-ryantm/auto-update/python3.10-Eve
python310Packages.eve: 2.0 -> 2.0.1
|
2022-09-08 10:19:54 -05:00 |
|
|
figsodaandGitHub
|
97ef915ad4
|
Merge pull request #190256 from r-ryantm/auto-update/cargo-public-api
cargo-public-api: 0.17.0 -> 0.18.0
|
2022-09-08 11:19:06 -04:00 |
|
|
R. Ryantm
|
4999a9ea53
|
libmodsecurity: 3.0.7 -> 3.0.8
|
2022-09-08 15:06:18 +00:00 |
|
|
figsoda
|
a348577b85
|
vimPlugins.compiler-explorer-nvim: init at 2022-09-08
|
2022-09-08 11:03:00 -04:00 |
|
|
Mario RodasandGitHub
|
aeda5f2b74
|
Merge pull request #190331 from r-ryantm/auto-update/python3.10-fastbencode
python310Packages.fastbencode: 0.0.9 -> 0.0.11
|
2022-09-08 09:59:25 -05:00 |
|
|
R. Ryantm
|
cba61579f6
|
python310Packages.eve: 2.0 -> 2.0.1
|
2022-09-08 14:53:39 +00:00 |
|
|
figsoda
|
bd3d7bf60f
|
vimPlugins: update
|
2022-09-08 10:44:22 -04:00 |
|
|
Pavol RusnakandGitHub
|
6a868a182e
|
Merge pull request #190243 from gp2112/packages/electrum
electrum: 4.3.0 -> 4.3.1
|
2022-09-08 16:23:28 +02:00 |
|
|
Bobby RongandGitHub
|
c1b72939f9
|
Merge pull request #190209 from r-ryantm/auto-update/bgpq4
bgpq4: 1.5 -> 1.6
|
2022-09-08 22:18:57 +08:00 |
|
|
figsodaandGitHub
|
8f51aaae0c
|
cargo-zigbuild: fix grammar in description
|
2022-09-08 10:15:56 -04:00 |
|
|
R. Ryantm
|
366fc43b01
|
openttd-nml: 0.6.1 -> 0.7.0
|
2022-09-08 14:12:10 +00:00 |
|
|
R. Ryantm
|
e2e18fd49b
|
oh-my-zsh: 2022-08-14 -> 2022-09-07
|
2022-09-08 14:08:20 +00:00 |
|
|
R. RyantmandDmitry Kalinkin
|
914100fd45
|
snakemake: 7.12.1 -> 7.14.0
|
2022-09-08 09:57:07 -04:00 |
|
|
R. Ryantm
|
5dd45aa913
|
kubergrunt: 0.9.2 -> 0.9.3
|
2022-09-08 13:44:46 +00:00 |
|
|
R. Ryantm
|
03154daf6e
|
ktlint: 0.47.0 -> 0.47.1
|
2022-09-08 13:43:44 +00:00 |
|
|
Elizabeth Paź
|
21bdd13710
|
fido2luks: patch for #188524
|
2022-09-08 15:28:31 +02:00 |
|
|
R. Ryantm
|
71509843c9
|
python310Packages.connexion: 2.14.0 -> 2.14.1
|
2022-09-08 13:11:36 +00:00 |
|
|
R. Ryantm
|
df4f9364f2
|
python310Packages.aiostream: 0.4.4 -> 0.4.5
|
2022-09-08 13:07:18 +00:00 |
|
|
SandroandGitHub
|
38a99b8379
|
Merge pull request #188520 from GovanifY/bluray-17
|
2022-09-08 14:58:39 +02:00 |
|
|
R. Ryantm
|
636c005b5d
|
python310Packages.fastbencode: 0.0.9 -> 0.0.11
|
2022-09-08 12:58:33 +00:00 |
|
|
R. Ryantm
|
25a9421526
|
python310Packages.graphql-subscription-manager: 0.6.0 -> 0.6.1
|
2022-09-08 12:58:29 +00:00 |
|
|
Thiago Kenji OkadaandGitHub
|
733770ae65
|
Merge pull request #190291 from jlesquembre/neil
neil: 0.1.36 -> 0.1.45
|
2022-09-08 13:55:37 +01:00 |
|
|
R. Ryantm
|
1a44856f01
|
gyb: 1.62 -> 1.70
|
2022-09-08 12:43:14 +00:00 |
|
|
R. Ryantm
|
8be50b22dc
|
go-bindata: 3.23.0 -> 3.24.0
|
2022-09-08 12:31:26 +00:00 |
|
|
R. Ryantm
|
b040cb633a
|
numix-icon-theme-square: 22.08.15 -> 22.09.04
|
2022-09-08 12:16:40 +00:00 |
|
|
R. Ryantm
|
0415a372fe
|
numix-icon-theme-circle: 22.08.15 -> 22.09.04
|
2022-09-08 12:16:38 +00:00 |
|
|
SandroandGitHub
|
08fe70356e
|
Merge pull request #186893 from leungbk/gsasl
|
2022-09-08 14:15:45 +02:00 |
|
|
R. Ryantm
|
c908fca315
|
netbox: 3.3.0 -> 3.3.2
|
2022-09-08 12:09:44 +00:00 |
|
|
Jan Tojnar
|
ad2aac1e24
|
_experimental-update-script-combinators: rename from update-script-combinators
To make it obvious they are not stable yet.
|
2022-09-08 13:01:47 +02:00 |
|
|
R. Ryantm
|
718af698b4
|
docker-credential-gcr: 2.1.5 -> 2.1.6
|
2022-09-08 10:58:56 +00:00 |
|
|
R. RyantmandJan Tojnar
|
714ca3f3b8
|
gnomeExtensions.dash-to-dock: 72 -> 73
|
2022-09-08 12:57:34 +02:00 |
|
|
Mario RodasandGitHub
|
768e20105b
|
Merge pull request #190210 from r-ryantm/auto-update/argocd-autopilot
argocd-autopilot: 0.4.5 -> 0.4.6
|
2022-09-08 05:43:45 -05:00 |
|