Vincent Laporte cc2fb2c1e4 coqPackages.itauto: init at 8.17.0 for Coq 8.17 ... Propagate `findlib` when needed Add tests		2023-06-15 06:16:26 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #237766 from wegank/scheme2c-compatibility-fix	2023-06-15 01:03:38 +03:00
coq-modules	coqPackages.itauto: init at 8.17.0 for Coq 8.17	2023-06-15 06:16:26 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
guile-modules
haskell-modules	haskellPackages.ghcWithHoogle: Use overrides	2023-06-14 14:28:08 +02:00
idris-modules
interpreters	kamilalisp: init at 0.2	2023-06-14 12:20:38 +00:00
java-modules
libraries	Merge pull request #237850 from SuperSandro2000/libsciter	2023-06-14 22:05:48 -04:00
lisp-modules
lisp-modules-new-obsolete
lisp-modules-obsolete	treewide: treewide: use lib.optionalAttrs instead of 'then {}'	2023-06-13 23:08:30 +02:00
lua-modules
misc	brev-cli: 0.6.229 -> 0.6.236	2023-06-12 04:55:56 +00:00
mobile
nim-packages	buildNimPackage: refactor to use overlay-style overrideAttrs	2023-06-14 12:13:49 +01:00
node-packages	nodePackages: update to latest	2023-06-12 16:37:06 -04:00
ocaml-modules	Merge pull request #230270 from toastal/ocaml-eio-init	2023-06-13 10:23:49 +02:00
octave-modules
perl-modules
pharo
php-packages
python2-modules
python-modules	Merge pull request #237853 from r-ryantm/auto-update/python310Packages.xmodem	2023-06-14 21:36:42 -06:00
quickemu
r-modules
rocm-modules/update-script
ruby-modules	Merge pull request #237187 from marsam/update-jruby	2023-06-13 05:53:18 +02:00
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #237785 from figsoda/lua-ls	2023-06-15 00:35:46 +03:00
web	deno: 1.34.1 -> 1.34.2	2023-06-13 16:05:52 +00:00