Théo Zimmermann 7e149abe9d coqPackages.reglang: mark as compatible with Coq 8.15		2022-01-25 15:24:08 +01:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	gleam: 0.18.2 -> 0.19.0 (#156486)	2022-01-25 12:48:22 +09:00
coq-modules	coqPackages.reglang: mark as compatible with Coq 8.15	2022-01-25 15:24:08 +01:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters	elixir: 1.13.1 -> 1.13.2 (#156462)	2022-01-25 12:24:12 +09:00
java-modules
libraries	Merge pull request #151919 from lheckemann/gt	2022-01-25 14:35:37 +01:00
lisp-modules
lua-modules
misc
mobile
nim-packages
node-packages
ocaml-modules	dune_2: 2.9.1 -> 2.9.2 (#156329)	2022-01-25 10:53:20 +01:00
octave-modules
perl-modules
pharo
php-packages
pure-modules
python-modules	Merge pull request #155497 from IvarWithoutBones/fix/gigalixir	2022-01-25 14:53:18 +01:00
python2-modules
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	Merge pull request #156642 from r-ryantm/auto-update/sqlfluff	2022-01-25 13:40:33 +01:00
web