Cyril Cohen b46055e928 coqPackages.coq-elpi: 1.10 -> 1.11		2021-10-27 13:19:57 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers
coq-modules	coqPackages.coq-elpi: 1.10 -> 1.11	2021-10-27 13:19:57 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters
java-modules
libraries	libint: 2.6.0 -> 2.7.1 (#142835)	2021-10-26 19:44:19 +02:00
lisp-modules
lua-modules
misc
mobile
nim-packages
node-packages
ocaml-modules	coqPackages.coq-elpi: 1.10 -> 1.11	2021-10-27 13:19:57 +02:00
octave-modules
perl-modules
pharo
php-packages
pure-modules
python-modules	Merge pull request #143029 from fabaff/bump-velbus-aio	2021-10-26 21:13:28 +02:00
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	Merge pull request #143032 from lovesegfault/tree-sitter-update	2021-10-26 21:14:43 +02:00
web