Mario Rodas 638a41a825 Merge pull request #112604 from marsam/update-opam ... opam: 2.0.7 -> 2.0.8		2021-02-10 21:30:53 -05:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #112585 from fgaz/lobster/2020-12-25	2021-02-10 09:19:55 +01:00
coq-modules
dhall-modules
dotnet-modules
em-modules/generic
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters	Merge pull request #112578 from r-ryantm/auto-update/zef	2021-02-10 21:26:20 -05:00
java-modules
libraries	Merge pull request #112548 from helsinki-systems/upd/podofo	2021-02-10 19:04:02 +01:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules
perl-modules
pharo
php-packages	Merge pull request #111515 from aanderse/libsmbclient-php	2021-02-09 07:37:54 -05:00
pure-modules
python-modules	Merge pull request #112690 from fabaff/bump-gitpython	2021-02-11 03:30:13 +01:00
r-modules
ruby-modules
tools	Merge pull request #112604 from marsam/update-opam	2021-02-10 21:30:53 -05:00
web	lucky-cli: 0.25.0 -> 0.26.0	2021-02-10 10:39:27 +08:00