nixpkgs/pkgs/development
Ali Caglayan dbddb79827 coqPackages.coq-lsp: 0.2.0 -> 0.2.2
Signed-off-by: Ali Caglayan <alizter@gmail.com>

<!-- ps-id: 7e13fc8b-4522-4d16-81ca-7a3ec1a111fb -->
2024-10-07 05:36:37 +02:00
..
ada-modules
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers
coq-modules coqPackages.coq-lsp: 0.2.0 -> 0.2.2 2024-10-07 05:36:37 +02:00
cuda-modules
dhall-modules
em-modules/generic
embedded
emilua-plugins
gnuradio-modules
hare-third-party
haskell-modules
idris-modules
interpreters
java-modules
julia-modules
libraries webkitgtk: 2.46.0 → 2.46.1 (#345887) 2024-10-07 11:06:33 +08:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules
octave-modules
perl-modules
php-packages
python-modules python312Packages.anthropic: 0.34.2 -> 0.35.0 (#346903) 2024-10-07 11:12:03 +09:00
python2-modules
r-modules
rocm-modules
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools terramate: 0.10.4 -> 0.10.6 (#344589) 2024-10-07 02:16:58 +02:00
web