diff options
| author | Jan van Brügge <supermanitu@gmail.com> | 2023-08-16 11:54:10 +0100 |
|---|---|---|
| committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-12-10 02:27:06 +0100 |
| commit | 3e9029366937f103eaea87bef25acf070f1dae2c (patch) | |
| tree | ae19565d6acd4784410c258a7baa420dc2b0e4e9 /pkgs/applications/science/logic | |
| parent | e011daa1f9b4918ffd56c3d4b950e425a0aac436 (diff) | |
| download | nixlib-3e9029366937f103eaea87bef25acf070f1dae2c.tar nixlib-3e9029366937f103eaea87bef25acf070f1dae2c.tar.gz nixlib-3e9029366937f103eaea87bef25acf070f1dae2c.tar.bz2 nixlib-3e9029366937f103eaea87bef25acf070f1dae2c.tar.lz nixlib-3e9029366937f103eaea87bef25acf070f1dae2c.tar.xz nixlib-3e9029366937f103eaea87bef25acf070f1dae2c.tar.zst nixlib-3e9029366937f103eaea87bef25acf070f1dae2c.zip | |
isabelle-linter: 1.2.1 -> 2023-1.0.0
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/isabelle/components/isabelle-linter.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/isabelle/components/isabelle-linter.nix b/pkgs/applications/science/logic/isabelle/components/isabelle-linter.nix index 7587c4638c18..d9b8dd5cf28f 100644 --- a/pkgs/applications/science/logic/isabelle/components/isabelle-linter.nix +++ b/pkgs/applications/science/logic/isabelle/components/isabelle-linter.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "isabelle-linter"; - version = "1.2.1"; + version = "2023-1.0.0"; src = fetchFromGitHub { owner = "isabelle-prover"; repo = "isabelle-linter"; - rev = "Isabelle2022-v${version}"; - sha256 = "sha256-qlojNCsm3/49TtAVq6J31BbQipdIoDcn71pBotZyquY="; + rev = "Isabelle2023-v1.0.0"; + sha256 = "sha256-q9+qN94NaTzvhbcNQj7yH/VVfs1QgCH8OU8HW+5+s9U="; }; nativeBuildInputs = [ isabelle ]; |