Vincent Laporte 681e984f8e coqPackages.equations: 1.3.1 for Coq 8.20		2024-07-23 06:47:20 +02:00
..
ada-modules
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	llvmPackages_git.compiler-rt: disable codesign	2024-07-22 18:19:11 -07:00
coq-modules	coqPackages.equations: 1.3.1 for Coq 8.20	2024-07-23 06:47:20 +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 #329228 from r-ryantm/auto-update/wasmtime	2024-07-22 17:17:35 -04:00
java-modules
julia-modules
libraries	Merge pull request #329281 from arthsmn/ffmpeg-remove-maintainer	2024-07-23 01:51:24 +00:00
lisp-modules
lua-modules	luaPackages.lz-n: 1.4.2-1 -> 1.4.3-1	2024-07-22 19:14:47 +02:00
misc
mobile
node-packages
ocaml-modules
octave-modules
perl-modules
php-packages
python2-modules
python-modules	Merge pull request #327825 from SharzyL/beancount_add_maintainer	2024-07-23 02:07:56 +00:00
r-modules
rocm-modules
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #327609 from Aleksanaa/sshs	2024-07-23 07:18:10 +08:00
web