primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2025-12-06 14:49:14 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

nix: patch isabelle for xmonad

Browse source
This commit is contained in:
Primrose 2024-09-11 10:13:08 +02:00
parent 6386b4bb57
commit 03e7f33043
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
3 changed files with 14 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
nix/custom/default.nix
View file

@ -31,6 +31,7 @@
logisim-evolution = pkgs-stable.callPackage ./logisim-evolution.nix { };
necrolib = pkgs-stable.callPackage ./necrolib.nix { };
why3 = pkgs-stable.callPackage ./why3.nix { };
isabelle-wrapped = pkgs-stable.callPackage ./isabelle-wrapped.nix { };
maeel = pkgs-stable.callPackage ./maeel.nix { };
tokei = pkgs-stable.callPackage ./tokei { }; # alpha tokei with typst, skel, hledger