Vincent Laporte 3359e6ba27 coqPackages.reglang: enable for Coq 8.16		2022-09-08 18:06:18 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	terra: 1.0.5 -> 1.0.6	2022-09-07 21:31:12 -07:00
coq-modules	coqPackages.reglang: enable for Coq 8.16	2022-09-08 18:06:18 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
guile-modules
haskell-modules
idris-modules
interpreters	babashka: 0.9.160 -> 0.9.162	2022-09-07 23:18:52 +00:00
java-modules
libraries	Merge pull request #188520 from GovanifY/bluray-17	2022-09-08 14:58:39 +02:00
lisp-modules
lisp-modules-new
lua-modules
misc
mobile
nim-packages
node-packages	eask: init at 0.6.43	2022-09-07 03:21:18 +00:00
ocaml-modules
octave-modules
perl-modules
pharo
php-packages	pdepend: 2.11.1 -> 2.12.0	2022-09-07 18:16:30 +00:00
python-modules	Merge pull request #190347 from r-ryantm/auto-update/python3.10-Eve	2022-09-08 10:19:54 -05:00
python2-modules
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	Merge pull request #190256 from r-ryantm/auto-update/cargo-public-api	2022-09-08 11:19:06 -04:00
web	twitterBootstrap: 5.2.0 -> 5.2.1	2022-09-07 21:06:34 +00:00