Ali Caglayan 8398a209b6 coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,0.1.8+8.19.0} (#288185) ... * coqPackages.serapi: 8.18.0+0.18.0 -> 8.19.0+0.19.0 * coqPackages.coq-lsp: 0.1.8+8.18 -> 0.1.8+8.19 Signed-off-by: Ali Caglayan <alizter@gmail.com>		2024-02-16 08:59:26 +01:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #288959 from a-n-n-a-l-e-e/terra-unpin-llvm11	2024-02-14 23:32:29 -08:00
coq-modules	coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,0.1.8+8.19.0} (#288185)	2024-02-16 08:59:26 +01:00
cuda-modules
dhall-modules
em-modules/generic
embedded
gnuradio-modules
guile-modules
hare-third-party
haskell-modules
idris-modules
interpreters	php83: 8.3.2 -> 8.3.3	2024-02-15 22:03:29 +01:00
java-modules
julia-modules
libraries	qt6.qtbase: fix calls to substituteInPlace	2024-02-15 11:56:48 -05:00
lisp-modules
lisp-modules-new-obsolete
lisp-modules-obsolete
lua-modules
misc
mobile
node-packages
ocaml-modules	ocamlPackages.ocaml-lsp: 1.16.2 -> 1.17.0	2024-02-14 07:23:07 +01:00
octave-modules
perl-modules
php-packages	phpPackages.composer: apply patch for CVE-2024-24821	2024-02-14 20:46:32 +01:00
python2-modules
python-modules	Merge pull request #287427 from fabaff/pytechnove	2024-02-16 08:44:19 +01:00
quickemu
r-modules	Merge pull request #288659 from b-rodrigues/fix_poissonmultinomial	2024-02-16 13:08:39 +11:00
rocm-modules/5
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #288968 from aaronjheng/wire	2024-02-16 07:52:55 +01:00
web	nodejs_21: 21.6.1 -> 21.6.2	2024-02-14 04:20:00 +00:00