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

nix: -isabelle-wrapped

Browse source
This commit is contained in:
Primrose 2024-10-25 20:50:18 +02:00
parent 038e4594a6
commit a68863c184
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
3 changed files with 0 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

1
nix/packages/default.nix
View file

@ -73,7 +73,6 @@
};
in
why3-pinned.callPackage ./why3.nix { inherit (alt-ergo-pinned) alt-ergo; };
isabelle-wrapped = final.callPackage ./isabelle-wrapped.nix { };
maeel = final.callPackage ./maeel.nix { };
tokei = final.callPackage ./tokei { }; # alpha tokei with typst, skel, hledger