figsoda c798d8f0a1 Merge pull request #266859 from GaetanLepage/coq-nvim ... vimPlugins.coq_nvim: update python dependencies		2023-11-15 21:41:00 -05:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #267386 from r-ryantm/auto-update/closurecompiler	2023-11-14 18:57:46 -05:00
coq-modules	coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)	2023-11-15 13:22:46 +01:00
dhall-modules
dotnet-modules/patches
em-modules/generic
embedded
gnuradio-modules
guile-modules
haskell-modules
idris-modules
interpreters
java-modules
libraries	Merge pull request #267746 from r-ryantm/auto-update/libcmis	2023-11-15 20:12:26 -05:00
lisp-modules
lisp-modules-new-obsolete
lisp-modules-obsolete
lua-modules
misc
mobile
nim-packages
node-packages	Merge pull request #266490 from Kranzes/nodePackages-update	2023-11-14 17:46:30 +00:00
ocaml-modules	ocamlPackages.getopt: 20120615 → 20230213	2023-11-15 06:37:32 +01:00
octave-modules
perl-modules
pharo
php-packages
python2-modules
python-modules	Merge pull request #266859 from GaetanLepage/coq-nvim	2023-11-15 21:41:00 -05:00
quickemu
r-modules
rocm-modules/5
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #267735 from r-ryantm/auto-update/argc	2023-11-15 21:36:45 -05:00
web