Mario Rodas b55563cc57 dune_3: 3.3.1 -> 3.4.0 ... https://github.com/ocaml/dune/releases/tag/3.4.0		2022-07-20 17:24:28 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #181999 from trofi/gcc-clean-up-configureFlags	2022-07-20 15:46:36 +01:00
coq-modules	first release of Metacoq	2022-07-20 16:52:11 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded	Merge master into staging-next	2022-07-19 12:01:43 +00:00
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters
java-modules
libraries	libgit2-glib: 1.0.0.1 -> 1.1.0	2022-07-20 12:51:06 +02:00
lisp-modules
lisp-modules-new
lua-modules
misc
mobile
nim-packages
node-packages
ocaml-modules	coqPackages.coq-elpi 1.14.0 -> 1.15.1	2022-07-19 13:03:25 +02:00
octave-modules
perl-modules
pharo
php-packages	php81Packages.composer: 2.3.7 -> 2.3.10	2022-07-19 18:09:44 +02:00
python-modules	Merge pull request #182201 from r-ryantm/auto-update/python3.10-levenshtein	2022-07-20 09:23:21 -05:00
python2-modules
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	dune_3: 3.3.1 -> 3.4.0	2022-07-20 17:24:28 +02:00
web