swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-28 16:10:17 +02:00
Code Issues Packages Projects Releases Wiki Activity
407222 commits 5 branches 0 tags 31 GiB
Commit graph

407222 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
R. Ryantm 3bb5204362 minio: 2022-09-01T23-53-36Z -> 2022-09-07T22-25-02Z 2022-09-08 15:52:42 +00:00
Mario Rodas 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
Mario Rodas 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 Rodas 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
figsoda 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
figsoda a348577b85 vimPlugins.compiler-explorer-nvim: init at 2022-09-08 2022-09-08 11:03:00 -04:00
Mario Rodas 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 Rusnak 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 Rong 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. Ryantm 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
Elizabeth Paź 21bdd13710 fido2luks: patch for #188524 2022-09-08 15:28:31 +02:00
Sandro 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 Okada 733770ae65
Merge pull request #190291 from jlesquembre/neil 
neil: 0.1.36 -> 0.1.45
 2022-09-08 13:55:37 +01:00
Sandro 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. Ryantm 714ca3f3b8 gnomeExtensions.dash-to-dock: 72 -> 73 2022-09-08 12:57:34 +02:00
Mario Rodas 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 Fischer 5300cdc66a unpaper: fix cross compilation 
depend on xsltproc from build system architecture
 2022-09-08 12:40:02 +02:00
Mario Rodas 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 Rodas 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 Rodas 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 Rodas 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 Rodas 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 Rodas 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 Rodas 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
Fabian Affolter 86c1d37e87 python310Packages.fastcore: 1.5.23 -> 1.5.25 2022-09-08 11:49:18 +02:00
R. Ryantm 91ef7ba30c jackett: 0.20.1768 -> 0.20.1850 2022-09-08 09:40:35 +00:00
Jonas Heinrich 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
R. Ryantm af2db47781 hyfetch: 1.4.0 -> 1.4.1 2022-09-08 09:25:08 +00:00
Fabian Affolter 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