hd/cfg
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update flake inputs & vs code haskell extension

Browse source
This commit is contained in:
Henri Dohmen 2026-01-30 18:27:54 +01:00
parent c5e13c775f
commit 85254cfba1
Signed by: hd
GPG key ID: AB79213B044674AE
2 changed files with 17 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

30
flake.lock generated
View file

@ -87,11 +87,11 @@
] ]
}, },
"locked": { "locked": {
"lastModified": 1746728054, "lastModified": 1768920986,
"narHash": "sha256-eDoSOhxGEm2PykZFa/x9QG5eTH0MJdiJ9aR00VAofXE=", "narHash": "sha256-CNzzBsRhq7gg4BMBuTDObiWDH/rFYHEuDRVOwCcwXw4=",
"owner": "nix-community", "owner": "nix-community",
"repo": "disko", "repo": "disko",
"rev": "ff442f5d1425feb86344c028298548024f21256d", "rev": "de5708739256238fb912c62f03988815db89ec9a",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -265,11 +265,11 @@
] ]
}, },
"locked": { "locked": {
"lastModified": 1768707181, "lastModified": 1769776025,
"narHash": "sha256-GdwFfnwdUgABFpc4sAmX7GYx8eQs6cEjOPo6nBJ0YaI=", "narHash": "sha256-70a1kVC08AMTvPc7iqQsJbbD4Y1fukakMVudz4oY9SM=",
"owner": "nix-community", "owner": "nix-community",
"repo": "home-manager", "repo": "home-manager",
"rev": "83bcb17377f0242376a327e742e9404e9a528647", "rev": "0fba737f8d5571d41467f3d99a878e11b8c0f0f0",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -325,11 +325,11 @@
}, },
"nixos-hardware": { "nixos-hardware": {
"locked": { "locked": {
"lastModified": 1768584846, "lastModified": 1769302137,
"narHash": "sha256-IRPmIOV2tPwxbhP/I9M5AmwhTC0lMPtoPStC+8T6xl0=", "narHash": "sha256-QEDtctEkOsbx8nlFh4yqPEOtr4tif6KTqWwJ37IM2ds=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixos-hardware", "repo": "nixos-hardware",
"rev": "cce68f4a54fa4e3d633358364477f5cc1d782440", "rev": "a351494b0e35fd7c0b7a1aae82f0afddf4907aa8",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -341,11 +341,11 @@
}, },
"nixpkgs": { "nixpkgs": {
"locked": { "locked": {
"lastModified": 1768564909, "lastModified": 1769461804,
"narHash": "sha256-Kell/SpJYVkHWMvnhqJz/8DqQg2b6PguxVWOuadbHCc=", "narHash": "sha256-msG8SU5WsBUfVVa/9RPLaymvi5bI8edTavbIq3vRlhI=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "e4bae1bd10c9c57b2cf517953ab70060a828ee6f", "rev": "bfc1b8a4574108ceef22f02bafcf6611380c100d",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -520,11 +520,11 @@
] ]
}, },
"locked": { "locked": {
"lastModified": 1768703331, "lastModified": 1769740792,
"narHash": "sha256-ob44p9PGlUIEiPZ3u7AAI0MyKtcHS2kPjiJjXtWies8=", "narHash": "sha256-SMIY+y9T9ioo+eM5XC2dE1FLjf0iUdCF3ayVlyKHDt0=",
"owner": "nix-community", "owner": "nix-community",
"repo": "nix-vscode-extensions", "repo": "nix-vscode-extensions",
"rev": "45f1a82aa6940da7134e6b48d5870f8dc7a554d9", "rev": "5af91c832cdc9c055015696433b395f43f2fc9c8",
"type": "github" "type": "github"
}, },
"original": { "original": {

3
mod/desktop/software/development.nix
View file

@ -83,8 +83,10 @@ in
banacorn.agda-mode banacorn.agda-mode
dnut.rewrap-revived dnut.rewrap-revived
editorconfig.editorconfig editorconfig.editorconfig
haskell.haskell
james-yu.latex-workshop james-yu.latex-workshop
jnoortheen.nix-ide jnoortheen.nix-ide
justusadam.language-haskell
leanprover.lean4 leanprover.lean4
ltex-plus.vscode-ltex-plus ltex-plus.vscode-ltex-plus
maximedenes.vscoq maximedenes.vscoq
@ -93,7 +95,6 @@ in
ms-toolsai.jupyter ms-toolsai.jupyter
ocamllabs.ocaml-platform ocamllabs.ocaml-platform
rust-lang.rust-analyzer rust-lang.rust-analyzer
# ms-vscode-remote.remote-ssh
]; ];
userSettings = { userSettings = {
"editor.rulers" = [ 80 ]; "editor.rulers" = [ 80 ];