Weijia Wang 85fd874639 compcert: add aarch64 support		2023-09-19 13:30:30 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #255581 from kashw2/solc	2023-09-19 07:32:21 +02:00
coq-modules	compcert: add aarch64 support	2023-09-19 13:30:30 +02:00
dhall-modules
dotnet-modules/patches	boogie: move out of dotnet-packages.nix	2023-09-16 16:00:29 +02:00
em-modules/generic
embedded
gnuradio-modules
guile-modules
haskell-modules
idris-modules
interpreters	Merge pull request #255891 from NickCao/wasmer-followup	2023-09-18 23:25:46 +02:00
java-modules	jna: add macos platforms	2023-09-18 21:58:00 +02:00
libraries	Merge pull request #255644 from markuskowa/upd-spglib	2023-09-19 07:36:14 +02:00
lisp-modules
lisp-modules-new-obsolete
lisp-modules-obsolete
lua-modules
misc
mobile
nim-packages
node-packages	treewide: add meta.mainProgram (#255932)	2023-09-18 20:57:04 +03:00
ocaml-modules	ocamlPackages.ocamlgraph: 2.0.0 → 2.1.0	2023-09-19 07:37:27 +02:00
octave-modules
perl-modules
pharo
php-packages	pdepend: Build from source	2023-09-17 18:09:25 +02:00
python2-modules
python-modules	Merge pull request #256060 from r-ryantm/auto-update/python310Packages.metakernel	2023-09-19 13:17:25 +02:00
quickemu
r-modules	rPackages.pandoc: fix pandoc linking	2023-09-15 14:08:30 +10:00
rocm-modules/update-script
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #255894 from pbek/auto-update/qc	2023-09-19 09:40:08 +02:00
web	bun: install completions	2023-09-18 09:14:44 +00:00