xenia
/
home
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Make challtools standalone package

main
xenia 2024-03-04 19:41:47 +01:00
parent d5d8ce71f4
commit 81eb1377d3
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
home/common.nix
View File

@ -33,7 +33,6 @@ in rec {
ghc
( python310.withPackages (ps: with ps; [
ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
(extras.challtools ps)
]))
( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
typst
@ -43,6 +42,8 @@ in rec {
# nodePackages.typescript-language-server
# rust-analyzer
zulip-term
(extras.challtools python310Packages)
];
home.sessionVariables = {

2
home/extras.nix
View File

@ -16,7 +16,7 @@ rec {
sha256 = "sha256-nfPAm7rgSMwGq2fgrG82xbdo/YIapDAVR+YGFROBBCU=";
};
propagatedBuildInputs = [
pyyaml jsonschema docker requests argcomplete google-cloud-storage
pyyaml jsonschema docker requests argcomplete google-cloud-storage setuptools
];
}
);