summaryrefslogtreecommitdiff
path: root/default.nix (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-09-04restructure nix stuffstuebinm1-6/+15
There's now a packageset in default.nix, and individual files for the rust and shell script stuff.
2021-09-04update nix sourcesstuebinm1-1/+1
2021-09-04package name: isabelle-dump → isabelle-unicodestuebinm1-1/+1
2021-06-23add nix derivationstuebinm1-0/+8
(using naersk)