about summary refs log tree commit diff
AgeCommit message (Expand)AuthorFilesLines
2022-09-08coqPackages.addition-chains: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.autosubst: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.coq-bits: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.coqeal: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.extructures: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.deriving: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.gaia-hydras: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.goedel: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.graph-theory: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.itauto: init at 8.16.0Vincent Laporte1-0/+2
2022-09-08coqPackages.coquelicot: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.mathcomp-tarjan: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.mathcomp-word: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.mathcomp-zify: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.reglang: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.trakt: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08Merge pull request #190346 from r-ryantm/auto-update/oh-my-zshMario Rodas1-3/+3
2022-09-08Merge pull request #190347 from r-ryantm/auto-update/python3.10-EveMario Rodas1-2/+2
2022-09-08Merge pull request #190256 from r-ryantm/auto-update/cargo-public-apifigsoda1-3/+3
2022-09-08Merge pull request #190331 from r-ryantm/auto-update/python3.10-fastbencodeMario Rodas1-2/+2
2022-09-08python310Packages.eve: 2.0 -> 2.0.1R. Ryantm1-2/+2
2022-09-08Merge pull request #190243 from gp2112/packages/electrumPavol Rusnak1-8/+3
2022-09-08Merge pull request #190209 from r-ryantm/auto-update/bgpq4Bobby Rong1-2/+2
2022-09-08oh-my-zsh: 2022-08-14 -> 2022-09-07R. Ryantm1-3/+3
2022-09-08snakemake: 7.12.1 -> 7.14.0R. Ryantm1-2/+2
2022-09-08Merge pull request #188520 from GovanifY/bluray-17Sandro1-1/+11
2022-09-08python310Packages.fastbencode: 0.0.9 -> 0.0.11R. Ryantm1-2/+2
2022-09-08Merge pull request #190291 from jlesquembre/neilThiago Kenji Okada1-3/+4
2022-09-08Merge pull request #186893 from leungbk/gsaslSandro2-5/+7
2022-09-08_experimental-update-script-combinators: rename from update-script-combinatorsJan Tojnar2-4/+4
2022-09-08gnomeExtensions.dash-to-dock: 72 -> 73R. Ryantm1-2/+2
2022-09-08Merge pull request #190210 from r-ryantm/auto-update/argocd-autopilotMario Rodas1-2/+2
2022-09-08unpaper: fix cross compilationYves Fischer1-3/+3
2022-09-08Merge pull request #183712 from shanesveller/package-nushell-0.66.2Mario Rodas3-23/+60
2022-09-08Merge pull request #190303 from fabaff/faraday-plugins-bumpMario Rodas1-2/+5
2022-09-08Merge pull request #190247 from r-ryantm/auto-update/bazeliskMario Rodas1-2/+2
2022-09-08Merge pull request #190296 from r-ryantm/auto-update/jackettMario Rodas1-2/+2
2022-09-08Merge pull request #190253 from r-ryantm/auto-update/bundletoolMario Rodas1-2/+2
2022-09-08Merge pull request #190230 from r-ryantm/auto-update/flexgetMario Rodas1-2/+2
2022-09-08Merge pull request #190061 from elliottslaughter/terra-1.0.6Mario Rodas1-3/+3
2022-09-08python310Packages.faraday-plugins: 1.6.8 -> 1.7.0Fabian Affolter1-2/+5
2022-09-08jackett: 0.20.1768 -> 0.20.1850R. Ryantm1-2/+2
2022-09-08Merge pull request #190132 from r-ryantm/auto-update/ecs-agentJonas Heinrich1-2/+2
2022-09-08Merge pull request #190288 from r-ryantm/auto-update/graphw00fFabian Affolter1-3/+3
2022-09-08Merge pull request #190206 from r-ryantm/auto-update/babashkaJonas Heinrich1-2/+2
2022-09-08neil: 0.1.36 -> 0.1.45José Luis Lafuente1-3/+4
2022-09-08fcft: 3.1.3 -> 3.1.4R. Ryantm1-2/+2
2022-09-08graphw00f: 1.1.2 -> 1.1.8R. Ryantm1-3/+3
2022-09-08fluent-bit: 1.9.7 -> 1.9.8R. Ryantm1-2/+2
2022-09-08Merge pull request #190139 from r-ryantm/auto-update/jujuJonas Heinrich1-3/+3
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-21 03:21:44 +0000