Skip to content

Commit 53ce43f

Browse files
committed
remove oj-verify definition from flake.nix
1 parent 338c3f4 commit 53ce43f

File tree

1 file changed

+1
-25
lines changed

1 file changed

+1
-25
lines changed

flake.nix

Lines changed: 1 addition & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -25,30 +25,6 @@
2525
ghcpkgs = import nixpkgs-for-ghc {
2626
inherit system;
2727
};
28-
oj-verify =
29-
with pkgs.python3Packages;
30-
pkgs.python3Packages.buildPythonApplication {
31-
name = "verification-helper";
32-
version = "5.6.0";
33-
pyproject = true;
34-
src = pkgs.fetchFromGitHub {
35-
owner = "online-judge-tools";
36-
repo = "verification-helper";
37-
rev = "adbff121b1f96de5f34e9f1483eb47d661c54075";
38-
fetchSubmodules = false;
39-
sha256 = "sha256-f7Ge8kLRQv9uxdNGtgNsypGVY0XAnKPCg8HYQ5nT6mI=";
40-
};
41-
build-system = [ setuptools ];
42-
dependencies = [
43-
colorlog
44-
importlab
45-
online-judge-tools
46-
pyyaml
47-
setuptools
48-
toml
49-
];
50-
propagatedBuildInputs = [ setuptools ];
51-
};
5228
# TODO:
5329
competitive-verifier =
5430
with pkgs.python3Packages;
@@ -102,7 +78,7 @@
10278
# verify
10379
online-judge-tools
10480
competitive-verifier
105-
oj-verify
81+
online-judge-verify-helper
10682

10783
# GHC 9.8.4
10884
(ghcpkgs.haskell.compiler.ghc984.override { useLLVM = true; })

0 commit comments

Comments
 (0)