Arthur Azevedo de Amorim 0540b29909 Update pkgs/development/coq-modules/extructures/default.nix ... Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>		2023-10-25 18:19:16 +02:00
..
androidndk-pkgs
beam-modules	elixir-ls: 0.17.2 -> 0.17.3	2023-10-25 10:00:07 +00:00
bower-modules/generic
chez-modules
compilers	Merge pull request #263324 from taranarmo/julia-upstream-build-instructions-url-fix	2023-10-25 10:07:12 -04:00
coq-modules	Update pkgs/development/coq-modules/extructures/default.nix	2023-10-25 18:19:16 +02:00
dhall-modules
dotnet-modules/patches
em-modules/generic
embedded
gnuradio-modules
guile-modules
haskell-modules
idris-modules
interpreters	Merge pull request #263259 from r-ryantm/auto-update/babashka-unwrapped	2023-10-25 07:23:01 +01:00
java-modules
libraries	Merge pull request #263174 from markuskowa/fix-elpa	2023-10-25 12:13:47 +02:00
lisp-modules
lisp-modules-new-obsolete
lisp-modules-obsolete
lua-modules	luaPackages: ferris-nvim -> rustaceanvim	2023-10-23 18:08:03 +02:00
misc
mobile
nim-packages
node-packages
ocaml-modules	ocamlPackages.yojson: 2.1.0 → 2.1.1	2023-10-24 08:52:15 +02:00
octave-modules
perl-modules	perlPackages.ArchiveLibarchive: init at 0.08	2023-10-23 14:04:17 +02:00
pharo
php-packages
python2-modules
python-modules	Merge pull request #263340 from lorenzleutgeb/pystemd	2023-10-25 18:45:26 +03:00
quickemu
r-modules
rocm-modules/5	rocmPackages.rocm-core: 5.7.0 -> 5.7.1	2023-10-22 22:40:27 +00:00
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #263178 from DevInsideYou/vlad/bloop	2023-10-25 15:56:04 +02:00
web	nodejs_21: 21.0.0 -> 21.1.0	2023-10-25 04:20:00 +00:00