Mario Rodas 9e8a099ba4 Merge pull request #142382 from pnmadelaine/update-fstar ... fstar: 2021.09.30 -> 2021.10.16		2021-10-23 08:55:59 -05:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #142382 from pnmadelaine/update-fstar	2021-10-23 08:55:59 -05:00
coq-modules	coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12)	2021-10-21 13:29:12 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded	platformio: 5.1.2 -> 5.2.1	2021-10-18 15:57:26 +02:00
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules	haskellPackages: mark builds failing on hydra as broken	2021-10-23 10:41:06 +08:00
idris-modules
interpreters	Merge pull request #142414 from trofi/drop-ruby-2.6	2021-10-22 15:15:51 +02:00
java-modules
libraries	Merge pull request #138410 from jtojnar/gimp-2.10.28	2021-10-23 12:52:07 +02:00
lisp-modules	Merge pull request #142445 from nuddyco/quicklisp-2021-10-21	2021-10-21 09:22:56 +00:00
lua-modules	luaPackages: update	2021-10-18 19:48:07 +02:00
misc
mobile
nim-packages
node-packages	Merge pull request #141799 from hercules-ci/fix-netlify	2021-10-18 21:31:59 +02:00
ocaml-modules	ocamlPackages.carton: 0.4.2 → 0.4.3	2021-10-22 15:29:30 +02:00
octave-modules
perl-modules
pharo
php-packages
pure-modules
python-modules	Merge pull request #142613 from fabaff/bump-yara-python	2021-10-23 13:17:58 +02:00
r-modules	Merge remote-tracking branch 'origin/master' into r-updates	2021-10-17 21:41:51 +11:00
ruby-modules	ruby_2_6, rubyPackages_2_6: drop unused package	2021-10-22 08:46:57 +01:00
scheme-modules/scheme-bytestructures
tools	Merge pull request #139347 from r-burns/build2	2021-10-22 17:31:31 -07:00
web	nodejs: use github release url in meta	2021-10-20 04:20:00 +00:00