summaryrefslogtreecommitdiff
path: root/default.nix (follow)
Commit message (Collapse)AuthorAgeFilesLines
* restructure nix stuffstuebinm2021-09-041-6/+15
| | | | | There's now a packageset in default.nix, and individual files for the rust and shell script stuff.
* update nix sourcesstuebinm2021-09-041-1/+1
|
* package name: isabelle-dump → isabelle-unicodestuebinm2021-09-041-1/+1
|
* add nix derivationstuebinm2021-06-231-0/+8
(using naersk)