 Vincent Laporte
|
0b1099dc6d
|
coqPackages.aac-tactics: init at 8.16.0
|
2022-09-08 18:07:02 +02:00 |
|
|
Vincent Laporte
|
726422b4fe
|
coqPackages.addition-chains: enable for Coq 8.16
|
2022-09-08 18:07:00 +02:00 |
|
|
Vincent Laporte
|
18aa936e06
|
coqPackages.autosubst: enable for Coq 8.16
|
2022-09-08 18:06:57 +02:00 |
|
|
Vincent Laporte
|
0f25d8a02d
|
coqPackages.coq-bits: enable for Coq 8.16
|
2022-09-08 18:06:55 +02:00 |
|
|
Vincent Laporte
|
6791c185dd
|
coqPackages.coqeal: enable for Coq 8.16
|
2022-09-08 18:06:52 +02:00 |
|
|
Vincent Laporte
|
e8598c7982
|
coqPackages.extructures: enable for Coq 8.16
|
2022-09-08 18:06:47 +02:00 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
SandroandGitHub
|
08fe70356e
|
Merge pull request #186893 from leungbk/gsasl
|
2022-09-08 14:15:45 +02: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. 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 |
|
|
Yves FischerandRobert Helgesson
|
5300cdc66a
|
unpaper: fix cross compilation
depend on xsltproc from build system architecture
|
2022-09-08 12:40:02 +02:00 |
|
|
Mario RodasandGitHub
|
4b9e3d1276
|
Merge pull request #183712 from shanesveller/package-nushell-0.66.2
nushell: 0.65.0 -> 0.67.0
|
2022-09-08 05:36:47 -05:00 |
|
|
Mario RodasandGitHub
|
2b3aedb4b2
|
Merge pull request #190303 from fabaff/faraday-plugins-bump
python310Packages.faraday-plugins: 1.6.8 -> 1.7.0
|
2022-09-08 05:33:42 -05:00 |
|
|
Mario RodasandGitHub
|
12a1438821
|
Merge pull request #190247 from r-ryantm/auto-update/bazelisk
bazelisk: 1.13.1 -> 1.13.2
|
2022-09-08 05:33:20 -05:00 |
|
|
Mario RodasandGitHub
|
48c3f53b11
|
Merge pull request #190296 from r-ryantm/auto-update/jackett
jackett: 0.20.1768 -> 0.20.1850
|
2022-09-08 05:29:18 -05:00 |
|
|
Mario RodasandGitHub
|
3037409707
|
Merge pull request #190253 from r-ryantm/auto-update/bundletool
bundletool: 1.11.1 -> 1.11.2
|
2022-09-08 05:28:23 -05:00 |
|
|
Mario RodasandGitHub
|
20b91f036d
|
Merge pull request #190230 from r-ryantm/auto-update/flexget
flexget: 3.3.24 -> 3.3.25
|
2022-09-08 05:27:36 -05:00 |
|
|
Mario RodasandGitHub
|
dbd4d674ea
|
Merge pull request #190061 from elliottslaughter/terra-1.0.6
terra: 1.0.5 -> 1.0.6
|
2022-09-08 05:22:32 -05:00 |
|
|
Fabian Affolter
|
63fb1ac2be
|
python310Packages.faraday-plugins: 1.6.8 -> 1.7.0
|
2022-09-08 11:57:34 +02:00 |
|
|
R. Ryantm
|
91ef7ba30c
|
jackett: 0.20.1768 -> 0.20.1850
|
2022-09-08 09:40:35 +00:00 |
|
|
Jonas HeinrichandGitHub
|
d0662b90f0
|
Merge pull request #190132 from r-ryantm/auto-update/ecs-agent
ecs-agent: 1.62.2 -> 1.63.0
|
2022-09-08 11:29:06 +02:00 |
|
|
Fabian AffolterandGitHub
|
6238b24e55
|
Merge pull request #190288 from r-ryantm/auto-update/graphw00f
graphw00f: 1.1.2 -> 1.1.8
|
2022-09-08 11:23:53 +02:00 |
|
|
Jonas HeinrichandGitHub
|
76c53aea0f
|
Merge pull request #190206 from r-ryantm/auto-update/babashka
babashka: 0.9.160 -> 0.9.162
|
2022-09-08 11:23:42 +02:00 |
|
|
José Luis Lafuente
|
f2ecd174d9
|
neil: 0.1.36 -> 0.1.45
Update and add jdk to runtime dependecies
|
2022-09-08 11:10:07 +02:00 |
|
|
R. Ryantmandsternenseemann
|
34480ba9e0
|
fcft: 3.1.3 -> 3.1.4
|
2022-09-08 11:04:26 +02:00 |
|
|
R. Ryantm
|
dbe56b7636
|
graphw00f: 1.1.2 -> 1.1.8
|
2022-09-08 09:00:24 +00:00 |
|
|
R. RyantmandFranz Pletz
|
83322b7354
|
fluent-bit: 1.9.7 -> 1.9.8
|
2022-09-08 10:56:06 +02:00 |
|