Pierre Roux 49e703cde2 Add Coqeal 2.0.1 and algebra-tactics 1.2.3		2024-01-19 10:46:00 +01:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #280761 from paveloom/resignation	2024-01-18 22:38:06 -08:00
coq-modules	Add Coqeal 2.0.1 and algebra-tactics 1.2.3	2024-01-19 10:46:00 +01:00
cuda-modules	Merge pull request #281461 from hacker1024/patch-8	2024-01-18 21:04:20 +00:00
dhall-modules
em-modules/generic
embedded	Merge pull request #280833 from asmir-abdulahovic/stm32cubemx-fhsenv	2024-01-18 11:14:32 +01:00
gnuradio-modules
guile-modules
hare-third-party
haskell-modules
idris-modules
interpreters	nelua: unstable-2024-01-02 -> unstable-2024-01-13	2024-01-18 22:37:04 +00:00
java-modules
julia-modules
libraries	Merge pull request #278096 from r-ryantm/auto-update/functionalplus	2024-01-19 08:07:47 +01:00
lisp-modules
lisp-modules-new-obsolete
lisp-modules-obsolete
lua-modules	Merge pull request #279564 from GaetanLepage/image-nvim	2024-01-16 20:11:35 +01:00
misc
mobile
node-packages
ocaml-modules	ocamlPackages.eio: 0.13 → 0.14	2024-01-18 21:04:59 +01:00
octave-modules
perl-modules
php-packages
python2-modules
python-modules	Merge pull request #281970 from fabaff/bthome-ble-bump	2024-01-19 10:24:09 +01:00
quickemu
r-modules	rPackages.rhdf5filters: simplify patch	2024-01-17 09:34:31 +11:00
rocm-modules/5
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #279215 from amesgen/cddl-0.10.3	2024-01-18 23:27:45 -08:00
web	nodejs_21: 21.5.0 -> 21.6.0	2024-01-17 04:20:00 +00:00