about summary refs log tree commit diff
path: root/pkgs/development
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 #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 #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-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 #190253 from r-ryantm/auto-update/bundletoolMario 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-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-08Merge pull request #189973 from fabaff/sensorproFabian Affolter1-0/+55
2022-09-08Merge pull request #189960 from fabaff/tiltFabian Affolter1-0/+55
2022-09-08Merge pull request #190162 from r-ryantm/auto-update/pdependElis Hirwing1-2/+2
2022-09-08cargo-public-api: 0.17.0 -> 0.18.0R. Ryantm1-3/+3
2022-09-08bundletool: 1.11.1 -> 1.11.2R. Ryantm1-2/+2
2022-09-08bazelisk: 1.13.1 -> 1.13.2R. Ryantm1-2/+2
2022-09-07terra: 1.0.5 -> 1.0.6Elliott Slaughter1-3/+3
2022-09-07hjson-go: 4.0.0 -> 4.1.0R. Ryantm1-2/+2
2022-09-07Merge pull request #190040 from r-ryantm/auto-update/python310Packages.flufl_...Mario Rodas1-3/+13
2022-09-07Merge pull request #190142 from r-ryantm/auto-update/kubiefigsoda1-3/+3
2022-09-07Merge pull request #190031 from r-ryantm/auto-update/python310Packages.croniterMario Rodas1-2/+2
2022-09-07Merge pull request #190225 from r-ryantm/auto-update/closure-compilerMario Rodas1-2/+2
2022-09-08Merge pull request #190104 from r-ryantm/auto-update/python310Packages.versio...Robert Scott1-2/+2
2022-09-08closurecompiler: 20220803 -> 20220905R. Ryantm1-2/+2
2022-09-07Merge pull request #190195 from r-ryantm/auto-update/twitterBootstrapMario Rodas1-2/+2
2022-09-07Merge pull request #190197 from r-ryantm/auto-update/terraform-lsMario Rodas1-3/+3
2022-09-07Merge pull request #190189 from r-ryantm/auto-update/tflintMario Rodas1-3/+3
2022-09-07babashka: 0.9.160 -> 0.9.162R. Ryantm1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-21 02:36:11 +0000