nixpkgs/pkgs/development
Ali Caglayan 4f57a97ab5 coq-lsp: 0.1.9 -> 0.2.0
Signed-off-by: Ali Caglayan <alizter@gmail.com>

<!-- ps-id: 63570aa2-90ab-47b4-8d64-c735422c6d36 -->
2024-09-02 14:53:18 +02:00
..
ada-modules
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers cairo-lang: 2.5.4 -> 2.8.0 (#338878) 2024-09-02 11:53:46 +02:00
coq-modules coq-lsp: 0.1.9 -> 0.2.0 2024-09-02 14:53:18 +02:00
cuda-modules
dhall-modules
em-modules/generic
embedded
gnuradio-modules
guile-modules
hare-third-party
haskell-modules
idris-modules
interpreters bwbasic: darwin build fix, derivation cleanup / RFC format (#336730) 2024-09-02 11:43:09 +02:00
java-modules
julia-modules
libraries mesa: rename enableValgrind back to withValgrind (#338956) 2024-09-02 10:41:58 +03:00
lisp-modules sbclPackages.cl-fam: remove override to fix eval 2024-09-02 13:55:18 +03:00
lua-modules
misc
mobile maestro: refactor move to pkgs/by-name 2024-09-01 17:37:59 +02:00
node-packages intelephense: remove from nodePackages (#338761) 2024-09-01 12:09:00 +02:00
ocaml-modules ocamlPackages.menhir: 20231231 → 20240715 2024-09-02 09:43:53 +02:00
octave-modules
perl-modules
php-packages
python2-modules
python-modules liberasurecode: 1.6.3 -> 1.6.4 (#338883) 2024-09-02 11:29:39 +02:00
r-modules rPackages: CRAN and BioC update (#335717) 2024-09-02 12:23:39 +10:00
rocm-modules
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools checkov: 3.2.239 -> 3.2.241 2024-09-02 07:56:57 +02:00
web flyctl: 0.2.120 -> 0.2.124 2024-09-01 04:12:32 +00:00