summaryrefslogtreecommitdiff
path: root/default.nix (follow)
Commit message (Expand)AuthorAgeFilesLines
* package name: isabelle-dump → isabelle-unicodestuebinm2021-09-041-1/+1
* add nix derivationstuebinm2021-06-231-0/+8