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
.files/nix/overlays/by-name/pin-isabelle-2023
History
Léana 江 e875c361db
overlay/isabelle-2023: migrate to by-name
2025-05-20 18:08:08 +02:00
..
overlay.nix overlay/isabelle-2023: migrate to by-name 2025-05-20 18:08:08 +02:00