movefasta/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-07-13 13:40:28 +03:00
Code Activity

isabelle-components.isabelle-linter: 2023-1.0.0 -> 2024-1.0.1

Browse source
This commit is contained in:
Jan van Brügge 2024-05-28 15:48:54 +01:00
parent 17219eb17a
commit b68d63c236
No known key found for this signature in database
GPG key ID: 88E0BF7B7A546481
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
pkgs/by-name/is/isabelle/components/isabelle-linter.nix
View file

@ -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 ];