lyes/nixfiles
1
0
Fork 0
Code Issues Pull requests Activity Actions

Update

Browse source
This commit is contained in:
Lyes Saadi 2025-11-16 13:36:31 +01:00
parent f4014fc89d
commit 4182f0a02c
Signed by: lyes
GPG key ID: 55A1D803917CF39A
3 changed files with 51 additions and 62 deletions
Download patch file Download diff file Expand all files Collapse all files

5
users/lyes/desktop/packages.nix
View file

@ -123,6 +123,9 @@ in {
# coqPackages.HoTT
coqPackages.equations
coqPackages.metarocq
coqPackages.metarocq-common
coqPackages.metarocq-utils
coqPackages.metarocq-template-rocq
coqPackages.vscoq-language-server
numworks-udev-rules
@ -139,7 +142,7 @@ in {
via
# Proton
protonvpn-gui
# protonvpn-gui
# Multimedia
pipewire.dev