Vincent Laporte 4912687343 coqPackages.VST: enable for Coq 8.16		2022-10-11 07:49:52 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #195302 from uninsane/pr/flutter-aarch64	2022-10-11 04:04:17 +02:00
coq-modules	coqPackages.VST: enable for Coq 8.16	2022-10-11 07:49:52 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
guile-modules	Merge pull request #189421 from foo-dogsquared/update-guile-gcrypt	2022-10-09 12:22:27 +02:00
haskell-modules
idris-modules
interpreters	Merge pull request #194827 from sternenseemann/cbqn-2022-10-04	2022-10-11 00:06:46 -03:00
java-modules
libraries	Merge pull request #195011 from wegank/wxsqlite3-4.9.0	2022-10-11 02:08:54 +02:00
lisp-modules
lisp-modules-new
lua-modules
misc
mobile
nim-packages
node-packages
ocaml-modules	Merge master into staging-next	2022-10-10 12:01:42 +00:00
octave-modules
perl-modules
pharo
php-packages
python2-modules
python-modules	Merge pull request #195432 from NixOS/home-assistant	2022-10-11 02:47:48 +02:00
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	Merge pull request #195348 from Tomahna/metals-0.11.9	2022-10-11 14:44:39 +11:00
web	Merge pull request #195425 from r-ryantm/auto-update/flyctl	2022-10-11 09:32:16 +11:00