summaryrefslogtreecommitdiff
path: root/home/packages.nix (follow)
Commit message (Expand)AuthorAgeFilesLines
* re-add isabelle to home configstuebinm2022-01-231-1/+1
* update leylinesstuebinm2022-01-201-1/+1
* home: add leylines, viustuebinm2022-01-201-1/+5
* attempting home-manager config with flakesstuebinm2022-01-201-0/+69