modderme123 6c9f27ab9a koka: 2.4.2 -> 3.0.4

2024-01-31 19:29:54 +01:00

..

androidndk-pkgs

…

beam-modules

…

bower-modules/generic

…

chez-modules

…

compilers

koka: 2.4.2 -> 3.0.4

2024-01-31 19:29:54 +01:00

coq-modules

…

cuda-modules

…

dhall-modules

…

em-modules/generic

…

embedded

…

gnuradio-modules

…

guile-modules

…

hare-third-party

…

haskell-modules

Merge pull request #279188 from ncfavier/agda-debug

2024-01-31 12:22:27 +01:00

idris-modules

…

interpreters

Merge pull request #283853 from ereslibre/bump-wasmtime

2024-01-30 19:29:29 -05:00

java-modules

…

julia-modules

…

libraries

Merge pull request #222817 from SuperSandro2000/python-sitePackages

2024-01-31 16:34:30 +01:00

lisp-modules

…

lisp-modules-new-obsolete

…

lisp-modules-obsolete

…

lua-modules

…

misc

Merge pull request #281348 from Atemu/update/umr

2024-01-31 16:49:10 +01:00

mobile

…

node-packages

…

ocaml-modules

…

octave-modules

…

perl-modules

…

php-packages

…

python2-modules

…

python-modules

Merge pull request #285323 from dotlambda/jq-patch

2024-01-31 20:55:55 +03:00

quickemu

…

r-modules

…

rocm-modules/5

…

ruby-modules

ruby-modules/gem-config: prometheus-client-mmap 1.1.0 support

2024-01-31 17:48:57 +01:00

scheme-modules/scheme-bytestructures

…

skaware-packages

…

tools

Merge pull request #284990 from Dekker1/minizincide282

2024-01-31 17:46:45 +01:00

web

minify: 2.20.15 -> 2.20.16

2024-01-31 13:29:02 +01:00