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

nix: pin isabelle

Browse source
This commit is contained in:
Primrose 2024-11-30 19:37:06 +01:00
parent ea2bd64704
commit 724a529918
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
3 changed files with 12 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
nix/homeModules/named/carbon/dev.nix
View file

@ -45,7 +45,7 @@ in
(pkgs.ammonite.override { jre = config.programs.java.package; })
# isabelle
pkgs.isabelle # module ACF
myPkgs.isabelle-2023 # module ACF
# preview markdown
pkgs.python3Packages.grip