Ali Caglayan ef593972ff coqPackages.HoTT: 8.19 -> 8.20 ... Signed-off-by: Ali Caglayan <alizter@gmail.com> <!-- ps-id: 92474861-7551-4ab8-a321-d0de1738c5e8 -->		2024-09-30 21:01:31 +02:00
..
ada-modules
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Lamdera 1.3.0 (#343684)	2024-09-30 19:01:48 +02:00
coq-modules	coqPackages.HoTT: 8.19 -> 8.20	2024-09-30 21:01:31 +02:00
cuda-modules	cudaPackages.tensorrt: Fix attribute 'lib' missing on aarch64-linux	2024-09-27 18:48:26 +03:00
dhall-modules
em-modules/generic
embedded
emilua-plugins
gnuradio-modules
guile-modules
hare-third-party
haskell-modules	haskellPackages.hnix-store-core_0_8_0_0: fix build (#344806)	2024-09-29 08:49:09 +01:00
idris-modules
interpreters	cpython: add python team as maintainers	2024-09-30 19:41:04 +02:00
java-modules
julia-modules
libraries	nss_latest: 3.104 -> 3.105 (#344871)	2024-09-30 15:36:51 +02:00
lisp-modules
lua-modules	luaPackages.neorg: remove forgotten debug	2024-09-29 19:41:39 +02:00
misc
mobile
node-packages
ocaml-modules	ocamlPackages.lsp: 1.18.0 → 1.19.0 (#344686)	2024-09-30 08:50:40 +02:00
octave-modules	octavePackages.signal: 1.4.5 -> 1.4.6	2024-09-29 22:37:37 +00:00
perl-modules
php-packages
python2-modules
python-modules	harlequin: init at 1.24.1	2024-09-30 18:37:43 +02:00
r-modules
rocm-modules
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	buildkite-cli: 2.0.0 -> 3.1.0 (#342788)	2024-09-30 22:53:42 +09:00
web	flyctl: 0.3.6 -> 0.3.10	2024-09-29 22:57:18 +00:00