typstPackages.prooflists 0.1.0 maintained
Typeset proof trees with minimal syntax
- Name
typst-package-prooflists-0.1.0- Package set
- typstPackages
- Homepage
- https://codeberg.org/apropos/typst-prooflists
- License
- 0BSD
- Source
- pkgs/by-name/ty/typst/build-universe-package.nix:42
- Derivation
/nix/store/v7pvhkif3klvr4hndb0a5lsva5x8k0if-typst-package-prooflists-0.1.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-09T00:52:30Z)
- Also available as
typstPackages.prooflists_0_1_0
Maintainers 2
| Handle | Name | Contact | Via |
|---|---|---|---|
| cherrypiejam | Gongqi Huang | GitHub | listed on package |
| RossSmyth | Ross Smyth | GitHub · @rosssmyth:matrix.org | listed on package |
Dependencies 3
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| typstPackages.curryst 0.6.0 | propagatedBuildInputs | 2 | maintained | |
| bashNonInteractive 5.3p15 | other input | 102,198 | maintained outdated | |
| stdenvNoCC 26.05pre-git | other input | 93,715 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.