rhi/nisspkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

replace "pkgs" arguments with individual packages

Browse source
This commit is contained in:
rhiannon morris 2025-04-20 09:57:40 +02:00
parent b32e181094
commit 428b2430ef
11 changed files with 35 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

6
apps/isabelle.nix
View file

@ -1,13 +1,13 @@
{ pkgs ? import <nixpkgs> {},
{ fetchzip, buildFHSEnv,
version ? "2024",
}:
let
isabelle = pkgs.fetchzip {
isabelle = fetchzip {
url = "https://isabelle.in.tum.de/dist/Isabelle${version}_linux.tar.gz";
sha256 = "08d0zg4j12rya0qphdjfvxmy02mhrbzc6i1wy0hjfklpk2x1ml2s";
};
in
pkgs.buildFHSEnv {
buildFHSEnv {
pname = "isabelle";
inherit version;
targetPkgs = pkgs: