primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2026-02-01 14:39:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

vanadium: +cornelis

Browse source
This commit is contained in:
Primrose 2026-01-23 23:14:07 +01:00
parent f8658bc793
commit 46447d8a02
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
2 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
nix/configurations/vanadium.nix
View file

@ -56,6 +56,7 @@ in
../overlays/nil.nix
../overlays/ghostty-dev.nix
../overlays/npins.nix
../overlays/cornelis.nix
../overlays/iosevka
../packages/overlay.nix

1
nix/configurations/vanadium/home/dev.nix
View file

@ -27,6 +27,7 @@
pkgs.taplo # toml
pkgs.vscode-langservers-extracted # JSON etc
pkgs.yaml-language-server # yaml
pkgs.cornelis # agda
# bash
pkgs.shfmt