Théo Zimmermann 2dc3552aa1 coqPackages.mkCoqDerivation: upgrade to Dune 3 ... And remove the version number from the corresponding attributes.		2022-10-02 14:42:28 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #180733 from whentze/feature/update-edk2	2022-10-01 19:28:33 +02:00
coq-modules	coqPackages.mkCoqDerivation: upgrade to Dune 3	2022-10-02 14:42:28 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
guile-modules
haskell-modules	haskellPackages: mark builds failing on hydra as broken	2022-10-01 13:01:51 +02:00
idris-modules
interpreters	hashlink: add x86_64-darwin compatibility (#193580)	2022-10-01 23:41:52 +02:00
java-modules
libraries	Merge pull request #193999 from r-ryantm/auto-update/libre	2022-10-02 12:23:03 +02:00
lisp-modules
lisp-modules-new	mysql-client: fix fallout from removing this alias	2022-10-01 16:36:57 +02:00
lua-modules
misc	brev-cli: 0.6.114 -> 0.6.116	2022-10-01 17:11:14 +00:00
mobile
nim-packages
node-packages	nodePackages: fix builds on x86_64-darwin	2022-10-01 00:46:46 +09:00
ocaml-modules	ocamlPackages.mldoc: 1.4.8 -> 1.4.9	2022-10-01 17:37:21 +02:00
octave-modules
perl-modules
pharo
php-packages
python2-modules
python-modules	pythonPackages.mypy: 0.971 -> 0.981	2022-10-02 12:55:43 +02:00
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	Merge pull request #194030 from r-ryantm/auto-update/cargo-nextest	2022-10-02 12:13:50 +02:00
web	flyctl: 0.0.383 -> 0.0.402	2022-10-01 20:41:45 +00:00