4ever2 ff20028fd4 MetaCoq sub-packages dependencies		2024-10-31 11:09:26 +01:00
..
ada-modules
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers
coq-modules	MetaCoq sub-packages dependencies	2024-10-31 11:09:26 +01:00
cuda-modules
dhall-modules
em-modules/generic
embedded
emilua-plugins
gnuradio-modules
hare-third-party
haskell-modules
idris-modules
interpreters	Merge master into staging-next	2024-10-31 00:14:46 +00:00
java-modules
julia-modules
libraries	python312Packages.simple-dftd3: 1.1.1 -> 1.2.0 (#352209)	2024-10-31 17:38:27 +08:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules	ocamlPackages.elpi: add 1.18.2	2024-10-30 17:52:53 +01:00
octave-modules
perl-modules
php-packages
python2-modules	python2-modules: Add a README explaining that Python 2 is no longer supported (#348583)	2024-10-31 17:20:08 +08:00
python-modules	python312Packages.azure-mgmt-appconfiguration: 3.0.0 -> 3.1.0 (#350329)	2024-10-31 09:32:01 +01:00
r-modules
rocm-modules
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tcl-modules
tools	Merge master into staging-next	2024-10-31 06:05:03 +00:00
web