Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

pkgs/applications/science/logic/tlaplus/

pkgs/applications/science/logic/ · 1 packages and modules · 2 open pull requests

Sign in to watch

Packages and modules 1

tlaps risk 2

1 open PR

Pull requests 2

treewide: use `desktopItems` (plural) instead of `desktopItem`

#511149 by PerchunPak · opened 6mo ago

treewide: Use `genericBuild` or `runPhase` to run phases manually whenever appropriate draft

#299045 by ShamrockLee · opened 2y ago

Issues 0

None open.