nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-21 08:01:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

leo3-bin: 1.2 -> 1.7.18 (#541700)

Browse Source
This commit is contained in:
7c6f434c
2026-07-15 06:46:59 +00:00
committed by GitHub
parent b910ce345c 3095d644af
commit 4a0ea5e872
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/le/leo3-bin/package.nix
View File

@@ -7,11 +7,11 @@
}:
stdenv.mkDerivation (finalAttrs: {
pname = "leo3";
version = "1.2";
version = "1.7.18";
src = fetchurl {
url = "https://github.com/leoprover/Leo-III/releases/download/v${finalAttrs.version}/leo3.jar";
sha256 = "1lgwxbr1rnk72rnvc8raq5i1q71ckhn998pwd9xk6zf27wlzijk7";
url = "https://github.com/leoprover/Leo-III/releases/download/v${finalAttrs.version}/leo3-v${finalAttrs.version}.jar";
sha256 = "sha256-HEUi8Krxv9u9Rq/2Gu0Tts86sseaAZq+pccJ4Q5MRr0=";
};
dontUnpack = true;