diff options
| author | Jan van Brügge | 2024-05-28 15:48:54 +0100 |
|---|---|---|
| committer | Jan van Brügge | 2024-07-06 18:41:29 +0100 |
| commit | b68d63c2365c712f856c5aeb12d57091af348cde (patch) | |
| tree | b0df0b70eb15ddafe30ce28740f4bc3a60d773a0 /pkgs/by-name/is | |
| parent | 17219eb17a7985022c453259009e5be03bef0654 (diff) | |
isabelle-components.isabelle-linter: 2023-1.0.0 -> 2024-1.0.1
Diffstat (limited to 'pkgs/by-name/is')
| -rw-r--r-- | pkgs/by-name/is/isabelle/components/isabelle-linter.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/by-name/is/isabelle/components/isabelle-linter.nix b/pkgs/by-name/is/isabelle/components/isabelle-linter.nix index 91bf5ba32b68..1be4ac532d05 100644 --- a/pkgs/by-name/is/isabelle/components/isabelle-linter.nix +++ b/pkgs/by-name/is/isabelle/components/isabelle-linter.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "isabelle-linter"; - version = "2023-1.0.0"; + version = "2024-1.0.1"; src = fetchFromGitHub { owner = "isabelle-prover"; repo = "isabelle-linter"; - rev = "Isabelle2023-v1.0.0"; - sha256 = "sha256-q9+qN94NaTzvhbcNQj7yH/VVfs1QgCH8OU8HW+5+s9U="; + rev = "Isabelle2024-v1.0.1"; + sha256 = "sha256-oTrwcfJgbkpkIweDIyc6lZjAvdS9J4agPoJgZzH+PuQ="; }; nativeBuildInputs = [ isabelle ]; |