zaphar/dotfiles
1
0
Fork 0
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity

Add tlaplus to my default setup

Browse Source
This commit is contained in:
Jeremy Wall 2023-06-26 19:59:14 -04:00
parent 27ac738fc3
commit 04b78820d4
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
nix/base-system/flake.nix
View File

@ -111,6 +111,9 @@
rnix-lsp rnix-lsp
nil nil
alloy6 alloy6
(tlaplus.override {
adoptopenjdk-bin = jdk;
})
jdk jdk
plantuml-c4 plantuml-c4
texlive.combined.scheme-basic texlive.combined.scheme-basic

6
nix/darwin/flake.lock generated
View File

@ -32,12 +32,12 @@
}, },
"locked": { "locked": {
"lastModified": 1, "lastModified": 1,
"narHash": "sha256-+GjHiziuT4s1/cWK9OjiMp1buxh4IVZ/zLmbZ+NNKBU=", "narHash": "sha256-5NdE5ik4A3CbpdEa6FVTR2GSfyWuOCAA+WO5r9oU+yE=",
"path": "/nix/store/a8sqmhsq15h62prgyyy8j0ghi9213vpx-source/nix/base-system", "path": "/nix/store/riljmsk60lxrnxwkhxzf38c1jb639q8z-source/nix/base-system",
"type": "path" "type": "path"
}, },
"original": { "original": {
"path": "/nix/store/a8sqmhsq15h62prgyyy8j0ghi9213vpx-source/nix/base-system", "path": "/nix/store/riljmsk60lxrnxwkhxzf38c1jb639q8z-source/nix/base-system",
"type": "path" "type": "path"
} }
}, },