Pierre Roux c8585bf4a8 coqPackages.coq-elpi 1.14.0 -> 1.15.1		2022-07-19 13:03:25 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	elmPackages.elm-json: 0.2.10 -> 0.2.12	2022-07-18 22:26:48 +02:00
coq-modules	coqPackages.coq-elpi 1.14.0 -> 1.15.1	2022-07-19 13:03:25 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded	platformio: unset broken on aarch64	2022-07-19 17:40:33 +08:00
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules	Merge pull request #181966 from Atemu/git-annex-lsof	2022-07-19 00:36:03 +02:00
idris-modules
interpreters
java-modules
libraries	Merge pull request #180863 from AndersonTorres/MISC	2022-07-18 21:47:12 -03:00
lisp-modules
lisp-modules-new
lua-modules
misc
mobile
nim-packages
node-packages
ocaml-modules	coqPackages.coq-elpi 1.14.0 -> 1.15.1	2022-07-19 13:03:25 +02:00
octave-modules
perl-modules
pharo
php-packages
python2-modules
python-modules	Merge pull request #181841 from r-ryantm/auto-update/python3.10-homematicip	2022-07-19 12:43:39 +02:00
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	ocamlPackages.ocp-index: 1.3.1 -> 1.3.3	2022-07-18 21:29:17 +02:00
web