gebner/nixos-config
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

add stack

Browse Source
This commit is contained in:
Gabriel Ebner 2017-09-22 20:24:13 +02:00
parent 8dd1984679
commit 5fdea9d881
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
large-sw.nix
View File

@ -18,6 +18,8 @@
vscode vscode
clang clang
stack
coq_8_6 coq_8_6
# cargo rustc # cargo rustc