Théo Zimmermann 075b606ef9 coqPackages.corn: mark as compatible with Coq 8.15		2022-01-25 12:59:07 +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.corn: mark as compatible with Coq 8.15	2022-01-25 12:59:07 +01:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules	haskellPackages.{regex-rure,jacinda}: add myself as maintainer	2022-01-24 12:42:14 +01:00
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 #156604 from rnhmjoj/pr-rxvt	2022-01-25 10:34:40 +01:00
lisp-modules
lua-modules
misc	resholve: 0.6.8 -> 0.6.9	2022-01-24 08:39:54 +01:00
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 #156669 from r-ryantm/auto-update/python3.10-pylaunches	2022-01-25 11:14:33 +01:00
python2-modules
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	dune_2: 2.9.1 -> 2.9.2 (#156329)	2022-01-25 10:53:20 +01:00
web