gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Jan van Brügge
2025-04-09 09:28:26 +01:00
parent 8b5d0ebbbd
commit fa09ff7a7d
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/is/isabelle/components/isabelle-linter.nix
+3 -3
View File
@@ -7,13 +7,13 @@
stdenv.mkDerivation rec {
pname = "isabelle-linter";
version = "2024-1.0.1";
version = "2025-1.0.0";
src = fetchFromGitHub {
owner = "isabelle-prover";
repo = "isabelle-linter";
rev = "Isabelle2024-v1.0.1";
hash = "sha256-oTrwcfJgbkpkIweDIyc6lZjAvdS9J4agPoJgZzH+PuQ=";
rev = "Isabelle2025-v1.0.0";
hash = "sha256-cH9EoIbKa6cqLjw83gnYvCy+Dq0d5fFmJCabdPrRJeI=";
};
nativeBuildInputs = [ isabelle ];