Vincent Laporte a1cb58e4cf coqPackages.semantics: enable with Coq 8.15		2022-05-07 07:29:42 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #171786 from r-ryantm/auto-update/open-watcom-v2-unwrapped	2022-05-06 12:46:29 -07:00
coq-modules	coqPackages.semantics: enable with Coq 8.15	2022-05-07 07:29:42 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules	haskellPackages.haskell-language-server: Run aarch64 plugin tests on ghc > 9.2	2022-05-05 21:47:47 +08:00
idris-modules
interpreters	Merge #171808: cbqn: 0.pre+date=2021-12-1 -> 0.pre+date=2022-05-06	2022-05-06 17:04:02 +02:00
java-modules
libraries	libuv: enable on windows (#171818)	2022-05-06 18:30:41 -05:00
lisp-modules
lisp-modules-new
lua-modules
misc
mobile
nim-packages
node-packages
ocaml-modules	ocamlPackages.js_of_ocaml: 3.11.0 → 4.0.0	2022-05-06 10:26:40 +02:00
octave-modules
perl-modules
pharo
php-packages
python2-modules
python-modules	Merge pull request #171879 from SuperSandro2000/python-magic	2022-05-07 07:23:25 +03:00
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	rust-analyzer: Update repo owner	2022-05-06 19:20:43 -07:00
web	flyctl: update ldflags	2022-05-06 23:18:41 +08:00