Manuel Bärenz 64194360d2 Merge pull request #147823 from iblech/patch-cubical-1 ... agdaPackages.cubical: 0.3pred5030a9 -> 0.3post9bedca9		2021-12-13 14:30:42 +01:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	elmPackages.elm-git-install: init at 0.1.3	2021-12-12 18:51:33 +01:00
coq-modules	coqPackages.serapi: init at 8.14.0+0.14.0 for Coq 8.14 & OCaml < 4.12 (#148775)	2021-12-12 20:41:49 +01:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules	haskell.packages.ghcjs.vector: Fix evaluation failure (#150002)	2021-12-11 12:04:13 -08:00
idris-modules
interpreters	Merge pull request #149857 from r-ryantm/auto-update/mujs	2021-12-11 22:35:39 -05:00
java-modules
libraries	agdaPackages.cubical: 0.3pred5030a9 -> 0.4prec3e097a	2021-12-13 13:02:58 +01:00
lisp-modules
lua-modules
misc
mobile
nim-packages
node-packages
ocaml-modules
octave-modules
perl-modules
pharo
php-packages
pure-modules
python-modules	Merge pull request #148401 from fabaff/bump-python-http-client	2021-12-13 13:04:47 +01:00
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	Merge pull request #148846 from r-ryantm/auto-update/vultr-cli	2021-12-13 14:40:39 +02:00
web