Vincent Laporte b37b08ae04 coqPackages.aac-tactics: 8.19.0 → 8.19.1		2024-06-04 16:22:00 +02:00
..
ada-modules
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #315675 from hraban/fix/sbcl-gc-threads	2024-06-04 12:14:42 +00:00
coq-modules	coqPackages.aac-tactics: 8.19.0 → 8.19.1	2024-06-04 16:22:00 +02:00
cuda-modules
dhall-modules
em-modules/generic
embedded
gnuradio-modules
guile-modules
hare-third-party
haskell-modules
idris-modules
interpreters	Merge pull request #315856 from qwqawawow/master	2024-06-03 22:51:24 +02:00
java-modules
julia-modules
libraries	Merge pull request #309053 from panicgh/open62541	2024-06-04 14:32:24 +02:00
lisp-modules
lua-modules
misc	Merge pull request #312442 from fgaz/changelog-d/1.0	2024-06-03 18:33:11 +02:00
mobile
node-packages
ocaml-modules
octave-modules
perl-modules
php-packages
python2-modules
python-modules	Merge pull request #317037 from romildo/upd.latex2pydata	2024-06-04 14:41:32 +02:00
r-modules
rocm-modules
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #316872 from Mic92/buildbot	2024-06-04 10:26:46 +02:00
web