···164165- [go-camo](https://github.com/cactus/go-camo), a secure image proxy server. Available as [services.go-camo](#opt-services.go-camo.enable).
16600167- [Monado](https://monado.freedesktop.org/), an open source XR runtime. Available as [services.monado](#opt-services.monado.enable).
168169- [intel-gpu-tools](https://drm.pages.freedesktop.org/igt-gpu-tools), tools for development and testing of the Intel DRM driver. Available as [hardware.intel-gpu-tools](#opt-hardware.intel-gpu-tools.enable).
···164165- [go-camo](https://github.com/cactus/go-camo), a secure image proxy server. Available as [services.go-camo](#opt-services.go-camo.enable).
166167+- [CommaFeed](https://github.com/Athou/commafeed), a Google Reader inspired self-hosted RSS reader. Available as [services.commafeed](#opt-services.commafeed.enable).
168+169- [Monado](https://monado.freedesktop.org/), an open source XR runtime. Available as [services.monado](#opt-services.monado.enable).
170171- [intel-gpu-tools](https://drm.pages.freedesktop.org/igt-gpu-tools), tools for development and testing of the Intel DRM driver. Available as [hardware.intel-gpu-tools](#opt-hardware.intel-gpu-tools.enable).
···63, # command-t dependencies
64 getconf
65, ruby
0066, # cpsm dependencies
67 boost
68, cmake
···464465 # We need some patches so it stops complaining about not being in a venv
466 patches = [ ./patches/coq_nvim/emulate-venv.patch ];
00000000000467 };
468469 cpsm = super.cpsm.overrideAttrs {
···63, # command-t dependencies
64 getconf
65, ruby
66+, # cornelis dependencies
67+ cornelis
68, # cpsm dependencies
69 boost
70, cmake
···466467 # We need some patches so it stops complaining about not being in a venv
468 patches = [ ./patches/coq_nvim/emulate-venv.patch ];
469+ };
470+471+ cornelis = super.cornelis.overrideAttrs {
472+ dependencies = with self; [ vim-textobj-user ];
473+ opt = with self; [ vim-which-key ];
474+ # Unconditionally use the cornelis binary provided by the top-level package:
475+ patches = [ ./patches/cornelis/0001-Unconditionally-use-global-binary.patch ];
476+ postInstall = ''
477+ substituteInPlace $out/ftplugin/agda.vim \
478+ --subst-var-by CORNELIS "${lib.getBin cornelis}/bin/cornelis"
479+ '';
480 };
481482 cpsm = super.cpsm.overrideAttrs {
···1003 - core-haskell # failure in job https://hydra.nixos.org/build/233222588 at 2023-09-02
1004 - corenlp-types # failure in job https://hydra.nixos.org/build/243808366 at 2024-01-01
1005 - core-warn # failure in job https://hydra.nixos.org/build/233204404 at 2023-09-02
1006- - cornelis # failure in job https://hydra.nixos.org/build/259604220 at 2024-05-15
1007 - Coroutine # failure in job https://hydra.nixos.org/build/233211213 at 2023-09-02
1008 - coroutine-object # failure in job https://hydra.nixos.org/build/233220413 at 2023-09-02
1009 - couchdb-conduit # failure in job https://hydra.nixos.org/build/233227244 at 2023-09-02
···1003 - core-haskell # failure in job https://hydra.nixos.org/build/233222588 at 2023-09-02
1004 - corenlp-types # failure in job https://hydra.nixos.org/build/243808366 at 2024-01-01
1005 - core-warn # failure in job https://hydra.nixos.org/build/233204404 at 2023-09-02
01006 - Coroutine # failure in job https://hydra.nixos.org/build/233211213 at 2023-09-02
1007 - coroutine-object # failure in job https://hydra.nixos.org/build/233220413 at 2023-09-02
1008 - couchdb-conduit # failure in job https://hydra.nixos.org/build/233227244 at 2023-09-02